投稿者：芹沢 時雨@VTuber さん

The act of viewing a distant that.　―――我々は知らねばならない、我々は知るであろう。 ―――基本的な算術の真であることを証明する、無矛盾の論理形式に合ったどんな理論に対しても、真である算術概念を組み立てることは可能であるが、その理論で証明することはできない。つまり、ある表現力をもった無矛盾の理論はどれも不完全である。純に言えば、数学を用いて全てを証明はできないということだ。 証明することのできない真実…