A text for students who are ready to explore the logical structure of analysis as the backbone of calculus. It begins with a development of the real numbers, building this system from more basic objects, and produces basic algebraic and metric properties of the real number line as propositions, rather than axioms.