你最简单的正整数系统都搞不定，难道我们逻辑思维比正整数系统还简单？
搞不定是啥意思？
不完备。看见对的证不出：）
所以正整数系统里那个公式看见是对的，但证不出来？：）
小哥的＂G ＂不是这样吗？
但是正整数有标准模型。如果Peano arithmetic theory判断不了，用标准模型即可。
不懂你在说什么：）听你意思小case一个，只是好奇为什么小哥这么声名远扬？
因为证明的方法很天才。但确实对数学家影响不大。arithmetic（算术）只是数学里的一个分支，且有标准模型可用。
JSL2023
2024-10-31 13:53:43你最简单的正整数系统都搞不定，难道我们逻辑思维比正整数系统还简单？