Sokratesさんの備忘録ないし雑記帳

思考の流し台. 駄文注意.

定義

自然数の定義(2019/06/03更新)

自然数の定義を淡々と述べるものです. 過度な期待はしないでください. 1. 構造としての自然数の定義 1.1. ペアノの公理(オリジナルに近いもの) 空でない集合 \( \mathbb{N} \) と単射写像 \( \mathop{s}: \mathbb{N} \to \mathbb{N}\) , ある \( 0 \in \math…