>>224-225
スレタイに関連するから書いておくと
1)集合の操作として使えることは、ZFCに具体的に書いてある
2)存在例化は、述語論理のレイヤーだ。集合論のレイヤーに直して、ZFC公理から導けるか？導けなければ使えない

公理、公理系が、分かってないでしょwww