←ていうか類論?

Ordered pair の作り方:
x, y に対して pairing axiom から { x, y } が存在する。Axiom of comprehension を使うと { t : t = x } = { x } が存在する。もう一回 pairing axiom を使って p = { {x}, {x,y} } の存在を確立。
p のどの要素にも入ってるのが car, ちょうど一個 (≠片方だけ) に入ってるのが cdr。cdr の方は「片方にだけ入ってる」とすると p=(x, x) の場合を扱えない。
x, y が proper class (訳語は「正規類」でいいのか?) の場合は Morse (Morse-Kelly の Morse) の方法が簡潔で、初めに集合に関する pair を定義し、整数を集合の範囲で定義しておいて ${\rm pair}(x, y) := (x \times \{0\})\cup(y \times \{1\})$ とする。×は x, y の要素 (定義上必ず集合) に作用するので、x, y が類でも構わない。
src:wikipedia