外延性の公理
#Fleeting_Notes
外延性の公理(Axiom of extensionality)
$ \forall A \forall B (\forall X (X \in A \Leftrightarrow X \in B) \implies A = B)
code:Axiom of extensionality
確認用
Q. 外延性の公理
調査用
Google.icon
外延性の公理(日)
Google.icon
Axiom of extensionality(英)
Wikipedia.icon
外延性の公理 - Wikipedia(日)
外延性の公理(検索) - Wikipedia(日)
Wikipedia.icon
Axiom of extensionality - Wikipedia(英)
Axiom of extensionality(検索) - Wikipedia(英)