Peano axiómák a természetes számok halmaza N

i) 0∈N
ii) minden n ∈ N számnak van egy n’ = n+1 ( egyel nagyobb) rákövetkezője
iii) nincs olyan n ∈ N , n=0
iv) ha n’=m’ akkor n=m különböző számoknak különböző a rákövetkezője
v) ha (a) egy T tulajdonság teljesül a 0-ra és (b) abból, hogy T teljesül az n ∈ N -re levezethető hogy n’ ∈ N -re is
teljesül akkor, T teljesül minden természetes számra.
EKVIVALENCIA RELÁCIÓ
A egy halmaz A-n adott reláció az A×A Descartes szorzat egy részhalmaza
A,B halmazok A×B Descartes szorzat A × A={(a , b)∨a ∈ A , b ∈ B }
Ha (a, b) ∈ A × A benne van a relációban és ha relációt ϱ jelöli, akkor a ϱ b jelölést használjuk.
Egy A-n adott φ reláció
-reflektív ha ∀ a ∈ A a ϱ a
-szimmetrikus ha a , b ∈ A a ϱ b => b ϱ a
-tranzitív ha a , b , c ∈ A a ϱ b és b ϱ c=> a ϱ c
Egy A-n adott reláció ekvivalencia reláció, ha reflektív, szimmetrikus és tranzitív.
Minden ekvivalencia reláció osztályozást indukál az alaphalmazon azaz olyan közös rész nélküli részhalmazokra
amelyek uniója az alaphalmaz. Egy ilyen osztályba az egymással relációban álló ekvivalens elemek kerülnek. Egy
ilyen osztály tetszőleges elemével reprezentáló (mivel az osztály többi eleme vele ekvivalens)
a,b egész számok

a, b ∈ Z , az a szám a b osztója ha létezik olyan c ∈ Z : ac=b

Ha m¿a és m¿b és bármely másik ilyen m’ esetén m '∨m akkor m az a és b legnagyobb közös osztója jele LNKO (a,b)

Ha az a szám a b osztója akkor a b szám az a szám többszöröse.

Ha a¿d és b¿d és bármelyik ilyen d-re teljesül hogy d¿d’ akkor d a 2 szám legkisebb közös többszöröse jele LKKT
(a,b)