>>62

以下が定義ではなく公理ということは、この公理よりも前に、「=」の意味が定まっていることですよね？


The Axiom of Extensionality

a ∈ X ⇒ a ∈ Y ∧ a ∈ Y ⇒ a ∈ X

⇒

X = Y