現代数学の系譜工学物理雑談古典ガロア理論も読む80

現代数学の系譜工学物理雑談古典ガロア理論も読む80at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む80 - 暇つぶし2ch211:存在および遺伝的有限集合全体の成す集合 Vω の存在を除いて）通常の ZF の公理系からは導かれない。すなわちグロタンディエック宇宙の存在は追加の独立な公理であって、おおまかには強到達不能基数と同値である。この追加の公理を仮定するならば、集合の圏 Set の対象は特定の宇宙に属するものだけに制限して考えることができるようになる（注意すべきは、このモデル内に「集合全ての成す集合」は存在しないが、宇宙 U の元として「内部集合」を考えるならば、内部集合すべての成す類 U はきちんと意味を成すことである）。つづく

次ページ

続きを表示

1を表示