2,619
次編輯
「Program=Proof筆記-第1章」修訂間的差異
跳至導覽
跳至搜尋
→歸納法
Tankianting（討論 | 貢獻） （→抽象化描述） |
Tankianting（討論 | 貢獻） （→歸納法） |
||
| 行 198： | 行 198： | ||
我們假設有表自然數的F | 我們假設有表自然數的F | ||
<math>F(X)= \{Zero\} \cup \{S(n)|n \in X\}</math> | <math>F(X)= \{Zero\} \cup \{S(n)|n \in X\}</math> | ||
<math></math> | 不動點為 | ||
<math>fix(F) = \{S^n(Z)|n \in \N\} = \{Z, S(Z), S(S(Z)), \ldots\}</math> | |||
<math></math> | <math></math> | ||