5 “数”の実現
5.0 イントロ
5.1 自然数の実現と“数の拡張”
5.2 自然数
5.2.1 系列としての自然数
5.2.2 〈自然数＝系列〉の実現
5.2.3 〈自然数＝数の系〉の実現
5.2.3.1 数の系の実現
5.2.3.2 零を含む自然数の系
5.2.3.4 順序構造
5.2.3.5 系 (
,＋,×,≦)
5.3 有理数導出までの“数の拡張”方法──比の系と差の系の導出
5.4 分数，整数，有理数
5.5 実数
5.5.1 実数の系
の導入
5.5.2
の中への
の埋め込み
5.5.3
の連続性
5.6 複素数
5.6.1 実数から複素数への拡張
5.6.2 複素数の系の構成
5.6.3 複素数の系の中への実数の系の埋め込み
5.7 四元数
,＋,×,≦)
の導入
の埋め込み