(1)有理数列

(2)疑似実数

(3)疑似実数の四則演算

(4)疑似実数の順序関係

(5)実数

(6)実数の性質

(7)実数の絶対値

(8)実数の完備性