Is it possible to prove that equal power sets imply equal sets using the ZF axioms?
Well, yes, Zermelo–Fraenkel set theory has only two predicates: equality and membership. However, is easily expressible as . Subset relation is used in the axiom of power set.