Up
2.1 自然数の系
-
2.1.1 条件規定の方法による
の定義──“ペアノの公理”
2.1.2 “ペアノの公理”の読み方
2.1.3
の構成的定義
2.1.3.1 “入れ篭型の自然数系列”
2.1.3.2 自由半群からの“自然数の系”の導出
2.1.4 カテゴリカルな公理系
2.1.5 順序関係の導入
2.1.6 加法の導入
2.1.7 乗法の導入
2.1.8
の構造
の定義──“ペアノの公理”