同じように自然数のペア全体の集合を適切な同値関係で割ることで整数全体の集合を構成してみよう(練習問題)— そくらてす (@7danmoroboshi) 2023年2月20日 という問題を出したので，それの想定回答をここに記す． \(\newcommand{\mathnat}{\mathbb{N}}\) \(\n…

自然数の定義を淡々と述べるものです. 過度な期待はしないでください. 1. 構造としての自然数の定義 1.1. Dedekind による定義 空でない集合 \( \mathbb{N} \) と単射写像 \( \mathop{s}: \mathbb{N} \to \mathbb{N}\) , \( 0 \in \mathbb{N} \) が次のI), I…