Maths›03. Logic and Foundations14.2 First Incompleteness TheoremConstruction of a true but unprovable statement using diagonalization and self-reference.