A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem

Logic and Logical Philosophy, Tom 6 (1998) s. 173-185
Dirk Ullrich