See Gödel's incompleteness theorem for a theorem on the indecidability of languages consisting of "true statements" in mathematical logic.
This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. If an article link referred you here, you might want to go back and fix it to point directly to the intended page.
