The $V_\alpha$ are Increasing Cambridge II Logic And Set Theory Ordinals Below $\alpha$ Have Order Type $\alpha$ Cambridge II Logic And Set Theory Soundness of Predicate Calculus Cambridge II Logic And Set Theory Associativity of Ordinal Addition Cambridge II Logic And Set Theory Gödel's Second Incompleteness Theorem Cambridge II Logic And Set Theory Deduction Theorem for Predicate Logic Cambridge II Logic And Set Theory Equivalence of Zorn, AC, and Well-Ordering Cambridge II Logic And Set Theory Basic Laws of Cardinal Arithmetic Cambridge II Logic And Set Theory