>>399 補足

つまらん ツッコミがないように
補足しておきますね

ZFCは一階述語論理における1ソート理論である。シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係∈のみがある
（これしか使えない）
　↓
９つの公理も シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係∈のみ
　↓
なので、９つの公理を組み合わせて、新しい集合を作っていく。そのとき使えるのが、『シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係∈のみ』
　↓
なので、９つの公理を組み合わせで、使えるのは関係∈のみ
　↓
なので、”一階述語論理だからと、勝手なことするな！” ってことですよ

つまらん低レベル質問
それ 公理および公理系の考えが
根本から分かってない証拠ですｗ