2014-12-24 ZFCはじめてみるの巻2 順序対の定義。 結構きつかったのでコメントもなしにガリガリ書いていた。もっときれいなやり方があるはず。 順序対の定義と性質 相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。