Return to Revisions

2 of 2

umlauts

edited Nov 17, 2012 at 13:02

Tarski's Theorem and Gödel's Second Incompleteness Theorem

I (think) that I once heard it said that from Tarski's Theorem on the undecidability of truth, Gödel's Second Incompleteness Theorem follows. Is this right?

lo.logic

asked Nov 17, 2012 at 4:12

invalidity