じゃあBGで正しい ZF の文
∃V∀∃y x∈y → x∈V
はZFで証明できんのかね?ゴミ