S0 = 1 [ D1] Definisi konstanta 1 dan 2

S1 =2 [ D2]

Dalam peano Aritmatika

Xo = x [A1] dan x + Sy = S (x+y) [A2]

P(r) , r = t P(t) [R1]
P(v) P(c) [R2]

1+1=2
Buktikan :
L1 : x + sy = s (x +y) . . . . . . A2
L2 : 1 + sy = s (1 + y) . . . . . .R2 digunakan ke s1, V= x, c =1
R2, P (V) P(c)
P( x) P(1)
L3 : 1 + S0 = S (1 + 0) . . . . . R2 digunakan ke s2, V= Y, c = 0
R2, P (V) P(c)
P( y) P(0)
L4 : x + 0 = x . . . . . . . . . .A1
L5 : 1 + 0 = 1 . . . . . . . . R1 digunakan ke s4, V= x, c = 1
R2, P (x) P(c)
P( y) P(1)
L6 : 1 + S0 = S1 . . . . . . R1 digunakan ke S3 dan S5 , r = 1 + 0 , t = 1
P (r), r = t P(c)
P( 1), 1 + 0 = 1 P(1)
L7 : S0 = 1 . . . . . . . D1
L8 : 1 + 1 = S1 . . . . .D1 digunakan untuk S0 dan S7 , r =S0 , t = 1

P(r) , r = t P(t)
P(S0), S0 = 1 p(1)

L9 : S1 = 2 . . . . . D2
L10 : 1 + 1 = 2 . . . . . . Terbukti ( R1 digunakan ke S8 dan S9 , r = S1. t = 2