A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem