自然数の特徴づけ

自然数の (生成するという意味で) 根本的な性質っていろいろある。

• と から成る構造
• の上の自由モノイド
• 素数列の上の自由可換モノイド ( はないけど)

それぞれ用途がある:

• 帰納法
• 加法
• 乗法

いろんな世界を行き来するというのは簡単そうでちょっとむずかしい

---

整数の場合は

• と同型 から成る構造
• の上の自由群
• 素数列の上の自由可換モノイドと との直積

とか？