2,709
次編輯
「The Code of Mathematics筆記」修訂間的差異
→Ch2 科學通用語言
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 197： | 行 197： | ||
子語言的不可判定語句（不可反駁） | 子語言的不可判定語句（不可反駁） | ||
證明必須用更豐富的元語言證明 | 證明必須用更豐富的元語言證明 | ||
A=~A是第一個哥德爾不完備理論 | A=~A是第一個哥德爾不完備理論 | ||
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 197： | 行 197： | ||
子語言的不可判定語句（不可反駁） | 子語言的不可判定語句（不可反駁） | ||
證明必須用更豐富的元語言證明 | 證明必須用更豐富的元語言證明 | ||
A=~A是第一個哥德爾不完備理論 | A=~A是第一個哥德爾不完備理論 | ||