数学の本 第85巻

[0062 １３２人目の素数さん 2019/08/16(金) 19:03:44.16 ID:jAY5nz6B]

The Axiom of Extensionality

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

⇒

X = Y

これは、公理です。