El esquema de especificación no es independiente en ZF, pues se deduce del esquema de reemplazo, introducido por Fraenkel y Skolem el mismo año y de forma independiente.