From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference

In this paper, we provide a fairly general self-reference-free proof of the Second Incompleteness Theorem from Tarski's Theorem of the Undefinability of Truth.