2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 26： | 行 26： | ||
弗雷格證明這是soundness，但是沒有證明他的completeness，後來由Godel證明完成。 | 弗雷格證明這是soundness，但是沒有證明他的completeness，後來由Godel證明完成。 | ||
弗雷格認為句子和概念內容是區別的，比如「我被他打」和「他打我」形式不同，表達意思相同。 | |||
弗雷格的系統引進謂詞「……是事實」，就是「⊢--」。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||