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