ほんとは「集合の部分クラスは集合」を証明したかったところだけど
{ }が空集合だというこことを証明するだけならこれで十分
「集合の部分クラスは集合」の方もクラス置換公理でできそうだが