Union of a Nested Family Cambridge II Logic And Set Theory Deduction Theorem for Predicate Logic Cambridge II Logic And Set Theory Normal Functions are Strictly Increasing and Dominate the Identity Cambridge II Logic And Set Theory Hartogs' Lemma Cambridge II Logic And Set Theory Characterisation via Descending Sequences Cambridge II Logic And Set Theory Every Non-empty Set of Ordinals Has a Least Element Cambridge II Logic And Set Theory Definition by Transfinite Recursion Cambridge II Logic And Set Theory The $V_\alpha$ are Increasing Cambridge II Logic And Set Theory