D. Ullrich, “A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem”, LLP, vol. 6, no. 6, pp. 173–185, Nov. 1998.