ZFCはじめてみるの巻

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

ZFCカッコ仮