Gödel proved that there are true sentences that cannot be proved.
Suppose I told you that the Goldbach conjecture is one of those. (The Goldbach conjecture supposes that every even integer number can be expressed as the sum of two odd primes.)
Is that logically possible? (And, no, I haven't proved it!)
(In reply to A better....
Although I fully agree with Democritus on this, the sentence "everything that happens in the Universe happens because of the specific will of a mystic invisible pink unicorn" can also be considered true, and is obviously unprovable as well.
Posted by e.g.
on 2004-08-22 13:32:29