A theoretical treatment of the real number system, topological properties of the real line, sequences of real numbers, and properties of continuous functions. Course topics include logical connectives, quantifiers, techniques of proof, cardinality, the completeness property, compact sets, metric spaces, and continuity in metric spaces. In this course students are required to demonstrate their ability to write, using standard English.