In any non-trivial axiomatic system, there are true theorems which cannot be proven. — Kurt Gödel Copy Share Image
