>>363
おまえバカというより目が見えてないというか注意力とか読解力がないんだな・・・・

素朴集合論にあった（のちにZFの分出公理に置き換えられた）内包公理はこんな形なんだよ

論理式 p に対して
∃a 　a = { x | p(X) }

つまり集合として扱うためには 左 辺 の a が 必 要 な んだ よ 。
{ x | p(X) } のままじゃそれを変数として扱えねーし、「それをRとおく」なんて事もできねえんだよ。

内包公理がなきゃラッセルの逆理なんておきないんだよ。