show/hide this revision's text 1 [made Community Wiki]

In mathematical logic, Gödel's incompleteness theorem.