なぜ、ZFC公理まで遡らなくても数学が出来るの？

>>416
（引用開始）
ZFCで使える論理式（ロジック）は、無制限ではない！
当然ながら、公理に規定したことのみ！！
（引用終了）

>アリティ 3以上とか、述語記号 ∈ 以外とか、 ダメダメダメです。
はZFCのどの公理で規定されてると？