Single Idea 3198

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic]

Full Idea

Gödel's theorem states that either arithmetic is incomplete, or it is inconsistent.

Gist of Idea

Gödel showed that arithmetic is either incomplete or inconsistent

Source

report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Georges Rey - Contemporary Philosophy of Mind 8.7

Book Reference

Rey,Georges: 'Contemporary Philosophy of Mind' [Blackwell 1997], p.224