Ugyebár egész számokat természetes számokból álló párokkal lehet reprezentálni, ehhez kellene nekünk három művelet, az egyik két számból párt képez, a másik kettő egy párból kiveszi az egyes elemeket. Próbáljuk meg így:
Vnm = az (n,m) párt reprezentálja
¹ = Tt a pár első elemét adja vissza: Tt(Vnm) = Vnmt = tnm = n
² = Tf a pár második elemét adja vissza: Tf(Vnm) = Vnmf = fnm = m
Ekkor ilyesmiket tudunk alkotni:
0 = 00 nulla
Żx = =(¹x)(²x) nulla-vizsgálat
Ṗx = >(¹x)(²x) pozitív
Ńx = >(²x)(¹x) negatív
Ṁx = V(²x)(¹x) ellentett
x = V(s(¹x))(²x) következő (+1)
ṕx = V(¹x)(s(²x)) előző (-1)
ṗx = -(¹x)(²x) szám "pozitív értéke": min(x,0)
⊜xy = Ż(⊖xy) egyenlőség
⊕xy = V(+(¹x)(¹y))(+(²x)(²y)) összeg
⊖xy = V(+(¹x)(²y))(+(²x)(¹y)) különbség
⊛xy = Ńx(Ṁ(⊛(Ṁx)y))(Ńy(Ṁ(⊛x(Ṁy)))(*(ṗx)(ṗy)))
