Set theory: axioms, ordinal numbers, transfinite induction, cardinality, the axiom of choice. Foundations of mathematics: construction of the real numbers from the natural numbers by one of the standard methods. First-order logic: propositional calculus, quantifiers, truth and satisfaction, models of first-order theories, consistency, completeness and compactness. Antirequisite(s): Prerequisite(s): The permission of the Department. Corequisite(s): Pre-or Corequisite(s): Extra Information: 3 lecture hours, 0.5 course. back to top