Model Existence Lemma Cambridge II Logic And Set Theory Categoricity Implies Completeness Cambridge II Logic And Set Theory Extension of Valuations Cambridge II Logic And Set Theory Ordinals Below $\alpha$ Have Order Type $\alpha$ Cambridge II Logic And Set Theory Consistent Extension Lemma Cambridge II Logic And Set Theory Antisymmetry Cambridge II Logic And Set Theory Existence of Hamel Basis Cambridge II Logic And Set Theory Gödel's Second Incompleteness Theorem Cambridge II Logic And Set Theory