素敵な定理
http://dannyayers.com/
http://www2.coins.tsukuba.ac.jp/~i031203/tdiary/
ここから。
Th.
Prf.
From the Axiom of Pairing
(∵ the Axiom of Extensionality)
from the definition of xRy
that means,
http://dannyayers.com/
http://www2.coins.tsukuba.ac.jp/~i031203/tdiary/
ここから。
Th.
Prf.
From the Axiom of Pairing
(∵ the Axiom of Extensionality)
from the definition of xRy
that means,