La construcción de los enteros y los racionales es posible debido a que todo cardinal finito es regular respecto a la suma, es decir, para cualesquiera cardinales "a, b" y "c" > 0, finitos se cumple: