Ako budujeme celé nezáporné čísla?
Podľa definície nasledovníka množiny platí:
  • A 0 ' = Ø' = {Ø},
  • A 1 ' = {Ø}' = {Ø,{Ø}},
  • A 2 ' = {Ø,{Ø}}' = {Ø,{Ø},{Ø,{Ø}}},
  • A 3 ' = {Ø,{Ø},{Ø,{Ø}}}' = {Ø,{Ø},{Ø,{Ø}},{Ø,{Ø},{Ø,{Ø}}}}.
Namiesto A 0  píšme 0, namiesto A 1  píšme 1, namiesto A 2  píšme 2 atď. Potom:
  • 0 = Ø,
  • 1 = 0' = {0},
  • 2 = 1' = {0,1},
  • 3 = 2' = {0,1,2},
  • 4 = 3' = {0,1,2,3}.
Voľne povedané: číslo 0 reprezentuje prázdna množina, číslo 1 reprezentuje množina s jedným prvkom, číslo 2 reprezentuje množina s dvoma prvkami, číslo 3 reprezentuje množina s troma prvkami, číslo 4 reprezentuje množina so štyrmi prvkami atď.