Ullrich, D. A General Principle for Purely Model-Theoretical Proofs of Gödel’s Second Incompleteness Theorem. LLP 1998, 6, 173-185.