# Redundant axioms IN ZFC

I am studying enderton elements of set theory and trying to figure out what combinations of axioms are redundant. Given: extensionality, empty set, pair set, union, power set, SUBSETS, AOC, replacement, infinity, regularity. My most pertinent question: I know I can delete subset and pairing. Can I instead delete subset and power set?

• You can drop empty set once you have infinity, since you can use infinity and extensionality to create an empty set. – Arturo Magidin May 5 at 3:14
• Can you show me such a construction please? My book defines infinity in terms of the empty set. – Phillip Feldman May 5 at 3:37
• Depends on the precise definition; but Infinity tells you there is an inductive set; then from separation you can deduce the existence of an empty set by letting $A$ be any inductive set and then considering $\{x\in A\mid x\neq x\}$. Of course, if your notion of “inductive set” requires the existence of a set (so that you can deduce the existence of an empty set, etc) then this does not work. – Arturo Magidin May 5 at 3:46
• @ArturoMagidin: Actually, you can use Infinity and inference rules to prove the existence of the empty set. – Asaf Karagila May 5 at 8:16
• Philip, Infinity is defined in terms of the empty set, but the empty set is not part of the language of set theory. – Asaf Karagila May 5 at 8:22