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

ZFCはじめてみるの巻

コメントなしコードだけ。 0 /= { 0 } の証明が一応出来ました。

ZFCカッコ仮