linguistic:voice_change
Set equality based on first-order logic with equality

In first-order logic with equality, the axiom of extensionality states that two sets which contain the same elements are the same set.

Incorporating half of the work into the first-order logic may be regarded as a mere matter of convenience, as noted by Lévy.