Esto puede hacerse a partir de una formalización axiomática la teoría de los conjuntos numéricos como la que puede obtenerse a partir de los axiomas de Zermelo-Fraenkel.