- 682 名前：現代数学の系譜 雑談 [2021/05/04(火) 10:39:14.20 ID:9rs/mxrl.net]
- >>599 補足
(引用開始)幼稚な議論だな
集合論で、有限集合の場合には、要素の列挙とか
カッコ｛｝の存在を語ることができるけれども
無限集合とくに、連続無限ω1や、その上2＾ω1 レベルになると
要素の列挙とかカッコ｛｝の存在云々などは、議論にならなくなる
議論のレベルが低すぎる
(引用終り)
例えば、
問1．実数の超越数の集合（C＼Aの実数部分。Cは複素数、Aは代数的数） を、ZFC中で空集合｛｝から構成してみせよ
（実数の超越数の集合の元を、ZFC中で空集合｛｝から構成せよ ）
問2．複素関数で、解析関数�
