De modo similar, puede construirse un modelo del resto de ZF en el que aparezcan conjuntos del tipo , luego es imposible probar la regularidad de todos los conjuntos, y asumir también es consistente.