PIXIV ID：60057489
风景The act of viewing a distant that. ―――我々は知らねばならない、我々は知るであろう。
―――基本的な算术の真であることを証明する、无矛盾の论理形式に合ったどんな理论に対しても、真である算术概念を组み立てることは可能であるが、その理论で証明することはできない。つまり、ある表现力をもった无矛盾の理论はどれも不完全である。纯に言えば、数学を用いて全てを証明はできないということだ。
証明することのできない真実もある――― クルトゲーデル［不完全性定理］
51223402020·02·19
分辨率：2000x1200
