Sin embargo es imposible probarla partiendo únicamente del resto de axiomas habituales de la teoría de conjuntos.