ロビンソン算術Qは以下7つの式（の全称閉包）を公理にもつ。 Sx ≠ 0 Sx = Sy → x = y x ≠ 0 → ∃y(Sy = x) x+0 = x x+Sy = S(x+y) x・0 = 0 x・Sy = (x・y)+x 不等号は次の定義によって導入する。 x < y ≡ ∃z(x+Sz = y) フランセーン『ゲーデルの定理』はよく…