Legyen adott egy -nel jelölt halmaz, valamint egy függvény. Az halmaz elemeit természetes számoknak nevezzük, amennyiben teljesülnek a következő axiómák: Az függvény az halmaz minden eleméhez rendeljen hozzá valamilyen szintén -beli elemet, azaz létezzen az …