>>219-222
スレタイに関連するから書いておくと
1)集合と述語論理とは、レイヤーが違う
2)集合論の公理として、ZFCは集合の操作の公理を定めている
3)集合の操作として使えるのは、定められた公理のみ

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