Set Theoryhard
0:00.0

The axiom of extensionality states that: