20/05/11 20:03:54 AHfZgdJQ.net
>>498-501 補足
このIUT IV P74 Remark 3.3.1. をコピーしたのは
“∈-loops”とか、”∈-structure of the set theory”とか ”In the context of constructing “loops” in a mutation-history”、”“output species-objects” of the “S” on the right that”
とか
なんか (>>463より) 渕野 「基礎の公理」
”基礎の公理は技術的な理由で付け加えられた公理と言えるが，
この公理を集合論の公理系に加えることの妥当性は，
(1) x ∪ P(x) ∪ P(P(x)) ∪ ・ ・ ・の7任意の部分集合が ∈ に関する極小元を持つような集合 x の全体が基礎の公理を含む集合論の公理系を満たすものになること
- 特にこのことから，ZFC から基礎の公理を除いたものが矛盾しないなら，（基礎の公理も含む）ZFC も矛盾しないことがわかる；
(2) 上で定義した N, P(N), . . . など集合論の枠組の中で通常の数学を展開するのに必要となる集合は，すべて (1) のような性質を持つものになっていること；
(3) 基礎の公理での性質を満たさない集合の存在を保証する公理を集合論の他の公理に付け加えても (1) の性質を持つ集合に関しては何ら新しい結論が得られないこと8，により保証されている，と考えることができる．
注8つまり，このような拡張された公理系は集合論の公理系の一種の保守拡大になっている．”
って、話に繋がるのと
”species”との絡みで、>>284より”The category of species is equivalent to the category of symmetric sequences in finite sets.[1]”から
ZFCGに繋がる話かなと思って、メモしたんだ
IUT論文を読む？ めっそうも無いｗ
海外の一流の天才・秀才数学者たちが「読めない！」と言っている論文が、「読める」とかそんな恐ろしいことは言えません
でも、”基礎の公理”などとの関連性を調べらることは、できます（＾＾