一階邏輯完備而高階邏輯不完備這個反差本身就很有意思

一階邏輯可以用自然數搞定，而自然數真是自然的，除了上帝沒有再經過任何有靈生命，而自然數以外的任何數學概念，都是出自人的推理和演繹，無理數，集合，函數，等等，都是人對自然的一種理解。隨便想想

所有跟帖： 

• 你是說 道可道 非常道 -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