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