Ordinalni brojevi se mogu uvesti na više načina. U literaturi je prihvaćen ovaj Fon Nojmanov kao tranzitivnih skupova dobro uređenih relacijom

kao relacijom strogog poretka. Me]utim, pošto oni služe za nabrajanje (kao što si već napisao), suštin aim je u tome da se svaki skup može 1-1 preslikati u klasu svih ordinala (tj. ne postoji skup svih ordinala), da su dobro uređeni na neki način, i da za svaki ordinal

postoji skup svih ordinala koji su manji od

u tom uređenju.
Zato se njihova dobra uređenost uzima kao njihovo osnovno svojstvo (jer odražava njihovu suštinu), a onda se navode ekvivalentni uslovi. Ovaj sa linearnošću je važan kod modela Teorije Skupova, jer se na taj način dokazuje da je osobina "biti ordinal" apsolutna za sve tranzitivne modele. Inače, aksioma regularnosti važi u svm tranzitivnim mkdelima. Ipak, zbog prethodne primedbe takav način definisanja nije zgodan za nekoga ko prvi put uči Teoriju Skupova.
Teorija skupova bez aksiome regularnosti ima koliko i teorija skupova sa regularnošću. Radi se samo o tome da li je ta aksioma u spisku izabranih aksioma ili ne.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.