A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem
Dirk Ullrich · Logic and Logical Philosophy · 2004
By generalizing Kreisel's proof of the Second Incompleteness Theorem of Gödel I extract a general principle which can also be used for other purely model-theoretical proofs of that theorem.CONTENTS 1. Preliminaries, p. 175 2. The Arithmetized Completeness Theorem and the Model Chain Lemma, p. 180 3.A proof of the Second G.I.T. following Kreisel, p.