Godel's Incompleteness Theorems
This is an old revision of this page, as edited by Jaques (talk | contribs) at 06:48, March 31, 2007. It may differ significantly from current revision.
Gödel's incompleteness theorems are 2 theorems published in 1931 by Kurt Gödel that reveals the limitations of the axiomatic approch to mathematics.
Godel's First Incompleteness Theorem: Peano Arithmetic or any extension of Peano Arithmetic is either incomplete or inconsistent.
Godel's Second Incompleteness Theorem: Any set of axioms that asserts its own consistency is inconsistent.