Sean formula_7 conjuntos con las condiciones que afirma el enunciado del Axioma de las Partes, es decir, de manera que si formula_3, entonces formula_4, y si formula_3, entonces formula_11.