For those who enjoy pondering the imponderables, this thought-provoking presentation about theories which we intuitively know to be true shows why they cannot be proven formally.
Truth and Provability are not the same thing at all.
The video contains a lot of interesting information if you are weary of the latest discussion about you-know-what.