... P(x), since if I(3x B(x)) = w and X(B(d)) < w for all d, we would have Iw(3x ... [infP, 1]. Then r \=v A iff T \=w A, i.e., Gv = Gw. Proof. As V C W we have G ...
確定! 回上一頁