>>426のつづき
>他の必要なロジックは、ここから定理として導き出される
ロジック＝論理式　というのも誤解ね
ロジック＝推論システム　というのが正しいわよ
定理を導くのに推論システムとしてのロジックが必要なの　これ豆な
>お分かりか？
>もし、今のZFCで不足ならば、その不足が追加されて、
>9つを越える公理が定められていたんだ
実際にはZFCは通常の数学を展開するには強すぎるわね
置換公理図式じゃなく分出公理図式でも十分
じゃ、なんで置換公理図式を導入したのかって？・・・集合論研究者の趣味ね