Ullrich, D. (1998) “A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem”, Logic and Logical Philosophy, 6(6), pp. 173–185. doi: 10.12775/LLP.1998.009.