読者です 読者をやめる 読者になる 読者になる

ZFCはじめてみるの巻2

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

順序対の定義と性質

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