这是 99.9% 的人没听说过的神奇悖论(1/16)

Kurt Friedrich Gdel所谓幻想很美满，理想很骨感，哥德尔向你扔出了哥德尔第二不完备定理，关于一个包含皮亚诺算术的方式系统，该系统的相容性不能在系统内部证明。这里「包含皮亚诺算术」是指能够推出描画自然数的命题的系统。不完备定理说，你总能在这个系统中，推出一个命题，以及它的承认。 [查看原文]

标签： 理查德米勒

全部图片

查看原图