Y puesto que un modelo de ZF¬E es también modelo de ZF, cada una de las siguientes afirmaciones es válida en algún modelo de ZF (suponiendo, como siempre, que ZF es consistente):