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

来源: 于 2023-12-01 01:05:40 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

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