哥德爾說得是有些數學係統，一階邏輯是完備的。

所有跟帖： 

• 咦，我這句話哪裏談到一階？邏輯功能不宜誇大，邏輯是工具一種，功能有限，不能獨立用來解決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