Downward Löwenheim–Skolem Theorem Cambridge II Logic And Set Theory Each $V_\alpha$ is Transitive Cambridge II Logic And Set Theory Completeness of Propositional Calculus Cambridge II Logic And Set Theory Adequacy Theorem Cambridge II Logic And Set Theory Every Non-empty Set of Ordinals Has a Least Element Cambridge II Logic And Set Theory $\in$-Recursion Theorem Cambridge II Logic And Set Theory $R$-Induction and $R$-Recursion Cambridge II Logic And Set Theory Independence of AC from ZF Cambridge II Logic And Set Theory