竹内外史の現代集合論入門113ページ
GがP-generic over Mであることの証明だが、
｛-[p]^{-○} | p \in S }が∈Mである時に初めて、Π_{p \in S} -[p]^{-○}の存在が言えるんだが、
∈Mであることの証明がなされていない。

で、∈Mであることの証明が全く分からん