Por otro lado, a partir del modelo de los conjuntos hereditariamente finitos puede construirse otro donde conjuntos con los mismos elementos no sean idénticos pero respetando el resto de axiomas, por lo que Ex no es derivable de estos.