Si fuese formula_33, en virtud del Axioma de Extensión, debería haber un formula_34 tal que formula_35, o bien un formula_36 tal que formula_37.