Theorem 8.2.1. Gödel’s First Incompleteness Theorem.
In any axiomatic system that is sufficiently complex for it to be possible to prove certain basic facts about the nonnegative whole numbers, it is possible to devise a statement that is true but unprovable.
