The act of viewing a distant that.　―――我々は知らねばならない、我々は知るであろう。

―――基本的な算術の真であることを証明する、無矛盾の論理形式に合ったどんな理論に対しても、真である算術概念を組み立てることは可能であるが、その理論で証明することはできない。つまり、ある表現力をもった無矛盾の理論はどれも不完全である。純に言えば、数学を用いて全てを証明はできないということだ。
証明することのできない真実もある―――　クルト・ゲーデル［不完全性定理］