Incompleteness theorem

Incompleteness Theorem is about math and logic. It says that there are some statements (in math and logic) that can't be proved (or disproved) using math and logic. That means you can't be sure if those statements are true or false.

Related topics others have asked about:

Chaitin's incompleteness theorem, Gödel's completeness theorem, Gödel's speed-up theorem, Gödel, Escher, Bach, Gödel machine, Löb's Theorem, Minds, Machines and Gödel, Non-standard model of arithmetic, Proof theory, Provability logic, Quining, Tarski's undefinability theorem