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.