La clase de los conjuntos regulares es un modelo del resto de axiomas de ZF, luego de estos no puede probarse la existencia de un conjunto no regular, y asumir es consistente.