“Smullyan has argued forcefully that Tarski’s undefinability theorem deserves much of the attention garnered by Gödel’s incompleteness theorems.”
Wikipedia
Follow RSS/Atom feed for updates.