19/07/18 19:19:26.78 MUH5+RGZ.net
例えば、順序対について、
(a, b) := {a, {a, b}}
と定義するなどと書かれている本があります。
なぜこのように定義するのか全く意味不明でした。
ところが、公理的集合論では、すべてのオブジェクトが集合ですから、このように
定義するのは非常に自然なことです。
19/07/18 19:19:26.78 MUH5+RGZ.net
例えば、順序対について、
(a, b) := {a, {a, b}}
と定義するなどと書かれている本があります。
なぜこのように定義するのか全く意味不明でした。
ところが、公理的集合論では、すべてのオブジェクトが集合ですから、このように
定義するのは非常に自然なことです。