"In any non-trivial axiomatic system, there are true theorems which cannot be proven."

-- Kurt Gödel

You may also like: