>>873
分からないんですね
p∈P
には意味は無いと?
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな?
なら
p∈p⊂P
だから
p∈P
は意味があるのでは?