In any non-trivial axiomatic system, there are true theorems which cannot be proven.
Kurt Godel
Source: Ed Regis, Who Got Einstein's Office? Addison Wesley, 1987.
Contributed by: Zaady