>>420
>公理とは？ 公理系とは？そこが根本から分ってないね
分かってないのはあ・な・た
>思いっきり贅肉をそぎ落として使える公理を必要最小限に絞り込むんだよ！！！
そりゃ結構ね、でも
>そういう作業を、当時の数学者がみんなでして、
>最後に残ったのが下記の9つ（実は8つ）の公理だけ
はい、間違い　ZFCの公理は有限個ではありませーん
具体的にいえば、置換公理は１つの公理ではありませーん
公理図式の論理式φが入るところはφが異なれば異なる公理として数えるの
だ・か・ら、実際には無限個の公理でーす　これ常識　覚えておいてね