Existen teorías de conjuntos donde se excluye este axioma.