ZFCはじめてみるの巻2

順序対の定義。 結構きつかったのでコメントもなしにガリガリ書いていた。もっときれいなやり方があるはず。

順序対の定義と性質

相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。