哥德尔说得是有些数学系统，一阶逻辑是完备的。

所有跟帖： 

• 咦，我这句话哪里谈到一阶？逻辑功能不宜夸大，逻辑是工具一种，功能有限，不能独立用来解决5大类问题。 -dhyang_wxc- ♂ (170 bytes) () 11/06/2023 postreply 05:38:41

• 一阶逻辑是形式逻辑的一种。对咱一般人来说，最大的功能限制就是没学以及没学好。 -露重烟微- ♀ (0 bytes) () 11/06/2023 postreply 07:34:00

• 第一， 请定义什么叫夸大？ 第二， 有什么东西可以独立解决“5大类问题”？ -SwiperTheFox- ♂ (0 bytes) () 11/06/2023 postreply 08:00:49