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 Reference
George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.215