#E6E6E6 從集合論公設「空集合存在」談起