4.1 比の系の導出としての数の系の拡張
4.1.1 比の系の意義
4.1.2 比の導出のモデル
4.1.3 数の系 (Ｎ,＋,×) からの比の集合N
R
の導出
4.1.4 数の系としてのN
R
4.1.5 N
R
の中へのＮの埋め込み
4.1.6 Ｎの要素間の除法を可能にする拡張
4.1.7 系（N
R
,＋,×,≦）
4.1.7.1 （Ｎ,＋,×,≦）からの（N
R
,＋,×,≦）の導出
4.1.7.2 （N
R
,＋,×,≦）の中への（Ｎ,＋,×,≦) の埋め込み