Ordered pair の作り方: x, y に対して pairing axiom から { x, y } が存在する。Axiom of comprehension を使うと { t : t = x } = { x } が存在する。もう一回 pairing axiom を使って p = { {x}, {x,y} } の存在を確立。 p のどの要素にも入ってるのが c…