一阶逻辑完备而高阶逻辑不完备这个反差本身就很有意思

一阶逻辑可以用自然数搞定，而自然数真是自然的，除了上帝没有再经过任何有灵生命，而自然数以外的任何数学概念，都是出自人的推理和演绎，无理数，集合，函数，等等，都是人对自然的一种理解。随便想想

所有跟帖： 

• 你是说 道可道 非常道 -JSL2023- ♂ (0 bytes) () 12/01/2023 postreply 06:54:47

• 太初有道，道与神同在，道就是神 -老键- ♂ (88 bytes) () 12/01/2023 postreply 08:14:54

• 觉得道家的“道”不是神，应该比神的维度更高。 -Shubin- ♂ (0 bytes) () 12/01/2023 postreply 09:22:39

• 先不忙论高低，露网友已指出道可道非常道的逻辑不自洽，不自洽指老子若把这句话当成道便不自洽，但这有些说道，不可一概而论 -老键- ♂ (0 bytes) () 12/01/2023 postreply 10:58:45

• “非常道” 是通行本里的，其他的还有“恒”，也有人提出是“亘”。链接在内 -Shubin- ♂ (100 bytes) () 12/01/2023 postreply 19:10:44

• 不甚明了 -JSL2023- ♂ (133 bytes) () 12/01/2023 postreply 10:16:01

• 不好意思，我也只是些粗粗的思维，要讲清一句话，得有一篇文章的积累，我没有 -老键- ♂ (245 bytes) () 12/01/2023 postreply 11:11:18

• 谢 至少你的高阶说给出另一个角度 -JSL2023- ♂ (0 bytes) () 12/01/2023 postreply 11:16:28

• 其实应该说自然数能被一阶逻辑搞定。大概有些反直觉，但其实所有数都是抽象且不存在于自然界的。 -露重烟微- ♀ (0 bytes) () 12/01/2023 postreply 11:33:00

• 能用俗语解释一下吗 -JSL2023- ♂ (0 bytes) () 12/01/2023 postreply 11:58:02