你即將離開本站

並前往https://leanprover.github.io/logic_and_proof/the_natural_numbers_and_induction.html

17. The Natural Numbers and Induction

What makes the natural numbers special is that they are generated by the number zero and the successor function, which is to say, the only way to construct a ...

確定！ 回上一頁

查詢 「Natural number」的人也找了：

  1. natural number中文
    2.
  2. natural number定義
    3.
  3. Is 0 a natural number
    4.
  4. natural number例子
    5.
  5. Whole number
    6.
  6. Whole number natural number
    7.
  7. Natural number e
    8.
  8. Natural number 0
    9.