Return to Article Details A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem Download Download PDF