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

來源: 於 2023-12-01 01:05:40 [博客] [舊帖] [給我悄悄話] 本文已被閱讀：次

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