2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
跳至導覽
跳至搜尋
→第一章：概念文字
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 25： | 行 25： | ||
#A->F(a) )( ⊢A->∀xF(x) 僅當a不於結論中出現。（註：「)(」不知道是什麼符號） | #A->F(a) )( ⊢A->∀xF(x) 僅當a不於結論中出現。（註：「)(」不知道是什麼符號） | ||
弗雷格證明這是soundness，但是沒有證明他的completeness，後來由Godel證明完成。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||