機能 ・SNK推論規則 ・数学的帰納法 ・等号の反射律 ・代入原理
公理 ∀ a ∈ $N , a + 0 = a ∀ a ∈ $N , ∀ b ∈ $N , a + $suc ( b ) = $suc ( a + b ) $suc ( 0 ) = 1 ∀ a ∈ $N , a * 0 = 0 ∀ a ∈ $N , ∀ b ∈ $N , a * $suc ( b ) = a * b + a
