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