(1)疑似整数

(2)疑似整数の加法

(3)疑似整数の乗法

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

(5)整数

(6)整数の性質

(7)絶対値

(8)再帰的定義