(1)自然数の公理

(2)自然数の加法

(3)自然数の順序関係

(4)自然数の乗法

(5)再帰的定義