とする.このとき順序対は次の性質をもつ.
(証明の方針)
まず,を仮定する.次に
(ⅰ)
(ⅱ)
を示す.
(ⅰ)について
をいう.
1 (1) 前提
2 (2) 仮定 ☆
☆ 仮定よりは存在するので(2)の仮定は許される.
1 (3) 1-2. →-導入
(ⅱ)も同様である.
以上より順序対の性質がわかった.
とする.このとき順序対は次の性質をもつ.
(証明の方針)
まず,を仮定する.次に
(ⅰ)
(ⅱ)
を示す.
(ⅰ)について
をいう.
1 (1) 前提
2 (2) 仮定 ☆
☆ 仮定よりは存在するので(2)の仮定は許される.
1 (3) 1-2. →-導入
(ⅱ)も同様である.
以上より順序対の性質がわかった.