The axiom of extensionality states that:
Two sets are equal if and only if they have the same elements
Every set has a power set
There exists an infinite set
No set can contain itself