2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 149： | 行 149： | ||
為了證明數學，需要假設一些公設axiom： | 為了證明數學，需要假設一些公設axiom： | ||
當時最有名的是皮亞諾公設，但弗雷格並沒有表述皮亞諾公理： | |||
# N 0 // 0是自然數 | # N 0 // 0是自然數 | ||
# ∀x (N x→∃ y (N y∧ (S(x) = y))) //對於所有自然數x有y為後繼( S x = Succ (x), i.e. x + 1) | # ∀x (N x→∃ y (N y∧ (S(x) = y))) //對於所有自然數x有y為後繼( S x = Succ (x), i.e. x + 1) | ||