Ullrich, D. “A General Principle for Purely Model-Theoretical Proofs of Gödel’s Second Incompleteness Theorem”. Logic and Logical Philosophy, vol. 6, no. 6, Nov. 1998, pp. 173-85, doi:10.12775/LLP.1998.009.