This course covers
axiomatic theory of sets; the axiom of choice,
prepositional logic, quantification theory,
formal construction of the sets N; Z; Q; R;
and C. Cardinal numbers and their arithmetic,
ordinal numbers and transfinite induction.

*Prerequisite:* Sophomore Standing.