a ∈ $N , b ∈ $N , c ∈ $N ⊢ a + b + c = a + (b + c)
公理 ∀ ?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
