more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10132

[filed under theme 6. Mathematics / A. Nature of Mathematics / 1. Mathematics ]

Full Idea

Gödel's far-reaching work on the nature of logic and formal systems reveals that there can be no single consistent theory from which all mathematical truths can be derived.

Gist of Idea

There can be no single consistent theory from which all mathematical truths can be derived

Source

report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.8

Book Ref

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.215