Incompleteness Theorem

The incompleteness theorems are one of the most misunderstood concepts of modern logic. I think this is because most people who talk about it don't study logic.

See also what is truth