文中也說啦,哥同學還有完備定理,一階形邏就可以“自證”。不完備的隻是有些係統,並不是宇宙普適。
來源:
露重煙微
於
2024-10-27 14:55:00
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次