La decisión, entonces, de si es o no apropiado hacer uso de él en una demostración no se puede tomar basándose sólo en otros axiomas de la teoría de conjuntos; hay que buscar otras razones.