Nombre ordinal

Elsnombres ordinals,o senzillamentordinals,sónnombresusats per a denotar la posició en unasuccessióordenada: primer, segon, tercer, quart, etc.^[1]El matemàticGeorg Cantorva mostrar el1897com estendre aquest concepte més enllà delsnombres naturalsfins a l'infinit,i com feraritmèticaamb aquests ordinalstransfinits.^[2]

Hom pot (i és usual de fer) definir el nombre naturalncom elconjuntde tots els nombres naturals menors:^[3]

0 = {} (conjunt buit)
1 = {0} = { { } }
2 = {0,1} = { {}, { {} } }
3 = {0,1,2} = {{}, { {} }, { {}, { {}}}}
4 = {0,1,2,3} = { {}, { {} }, { {}, { {} } }, {{}, { {} }, { {}, { {}}}} }
etc.

Vist d'aquesta manera, cada nombre natural és un conjunt ben ordenat: el conjunt 4, per exemple, téelements0, 1, 2, 3, que són ordenats naturalment com a $0<1<2<3$ (ben ordenats). Un nombre natural és menor que un altre nombre, si i només si, és element de l'altre.