17/09/24 21:29:12.92 K2Xyf521.net
1ページちょっと使っているのは、
(a, b) = (c, d) ⇔ a = c ∧ b = d
のほうでした。
なぜ、順序対を
(a, b) := {{a}, {a, b}}
と定義すると厳密になるのでしょうか？
17/09/24 21:29:12.92 K2Xyf521.net
1ページちょっと使っているのは、
(a, b) = (c, d) ⇔ a = c ∧ b = d
のほうでした。
なぜ、順序対を
(a, b) := {{a}, {a, b}}
と定義すると厳密になるのでしょうか？