ULLRICH, Dirk. A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem. Logic and Logical Philosophy. Online. 6 November 1998. Vol. 6, no. 6, pp. 173-185. [Accessed 5 July 2024]. DOI 10.12775/LLP.1998.009.