外延性の公理
axiom of extensionality
https://ja.wikipedia.org/wiki/外延性の公理