最終更新日：2022/12/24
A careful derivation of the arithmetic properties of the natural numbers ℕ, using induction, was done by G. Peano (1858–1932). It is a lot of fun, but we will not pursue any of it here.
編集履歴（0）
A careful derivation of the arithmetic properties of the natural numbers ℕ, using induction, was done by G. Peano (1858–1932). It is a lot of fun, but we will not pursue any of it here.
DiQt（ディクト）
無料
★★★★★★★★★★
