Prerequisite: MAT 1236 and (MAT 2720 or MAT 3100) or permission of instructor. MAT 3100 may be taken concurrently. Uses the axiomatic method to prove basic results from set theory and real analysis. Topics include functions, set cardinality, the real number system, and the topology of the real line.