Es decir, usando los axiomas de Zermelo-Fraenkel (ZF) puede comprobarse que los tres cardinales anteriores cumplen formula_1.