Back in 1931, an Austrian mathematician, proved that you can't prove Euclids's five axioms, which we know to be true, but accept without proof. This set the mathematical world on edge.They love to prove everything. I remember at a History of Math course I took,that Russell and someone else (Alfred North Whitehead) wrote a book called Principia Mathematica* and discovered to their horror that they couldn't prove the basic assumptions of symbolic logic to their surprise.They wrote this book before 1931, so I guess Godel didn't have anything to do with it.

Well, Godel (spelt with two dots over the 'o') certainly blew the Theory of Everything out of the water.He did prove that no matter what Russell and Whitehead did by rewriting the book, they still couldn't prove it.

*Not to be confused with the Philosophiae Naturalia Principia Mathematica book written by Isaac Newton, which I, to my great surprise, the library at St.Michaels College, University of Toronto, allowed me to borrow and take home to read (it was in Latin) so as I couldn't read it but I tried to follow the mathematics** or some of it - with great difficulty.

**Calculus or "fluxions".

Edited to correct errors.

I just came across Godels Incompleteness Theory tonight.after all these years.