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