The text begins with an introduction of some analytical mathematical topics, such as the irrationality of √2 and the Cantor set. The text then introduces set theory and sequences, with the goal of introducing basic calculus models. The end goal of the text is to rigorously define and prove single variable calculus formulas, models, and theorems.