Se desea construir números ordinales como conjuntos bien ordenados especiales de forma que "todo" conjunto bien ordenado es ordenadamente isomorfo a exactamente un número ordinal.