Aritmética de Robinson y teorías

Sea la teoría T que afirma la verdad de las proposiciones: p,q,r,…, si en ella tomamos o
interpretamos las operaciones lógicas ↔,¬, v como:
↔=+ ¬= S y v= .
Afirmamos que T con esas operaciones es una aritmética de Robinson, es decir que es un
isomorfismo.
Demostración. Para probarlo basta con ver que cumplen los axiomas Q. En efecto como es
fácil verificar.

𝑄1 Sx=Sy → x=y

¬p=¬q → p=q

𝑄2 0≠Sx

v≠¬p

𝑄3 X≠0 → ∃y (x=Sy)

p≠v → ∃q (p=¬q)

𝑄4 X+0=X

p↔v = p

𝑄5 x+Sy=S(x+y)

p↔¬q = ¬(p↔q)

𝑄6 X.0=0

P v (V) = V

𝑄7 x.Sy=(xy)+x

P v ¬q = (P v q) ↔P

Hay que recordar que todas las proposiciones son verdaderas, pues son parte de una teoría.