- 467 名前：現代数学の系譜 雑談 [2024/12/10(火) 13:41:47.28 ID:ytuvmVUS.net]
- >>444
>>399より 再録
『ZFCは一階述語論理における1ソート理論である。シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係∈のみがある』
なのです
なので、９つの公理*)も シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係∈のみ
が使えます
しかし、繰り返しますが
使えるのは
『ZFCは一階述語論理における1ソート理論である。シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係∈のみ』
です
残念でしたねｗｗ
知らなかったんだｗ
無知ですねｗｗｗ
(引用終り)
注*) ８つの公理と１つの公理図式
繰り返すが
一階述語論理だからと
勝手にZFCに持ち込むのは
ご法度ですｗｗｗｗｗ
