Otras paradojas que tienen que ver con el gran tamaño de los conjuntos, quedan excluidas de ZF mediante el esquema de especificación.