text: Аксиомы имеют вид: ¬(0 = x + 1) x + 1 = y + 1 → x = y x + 0 = x (x + y) + 1 = x + (y + 1) (P(0) ∧ (P(x)→P(x + 1))) → P(y), где P — формула первого порядка включающая 0, 1, +, = и одну свободную переменную x.