El enunciado del axioma de las partes dice: dado un conjunto formula_1, existe un conjunto formula_2 de forma que si formula_3 entonces formula_4.