14.3 Second Incompleteness Theorem
Proof that no sufficiently strong consistent system can prove its own consistency.
3 notes
Proof that no sufficiently strong consistent system can prove its own consistency.
Stronger forms of incompleteness, Rosser’s improvement, Löb’s theorem, and connections to computability.
Construction of a true but unprovable statement using diagonalization and self-reference.