- 504 名前：１３２人目の素数さん mailto:sage [2017/07/26(水) 06:49:21.26 ID:JrNslrex.net]
- >>430
＞20世紀初頭に解析学を（古代ユークリッドのしたように）公理系を整備する過程で、
＞「C（選択公理）は必要で他の公理と独立だよ」と分かったんだよね（＾＾
解析学にフルパワーの選択公理は必要ない
これ1970年代以降常識 知らんヤツはidiot
非ユークリッド幾何学が無矛盾であるように
ZF+AD(決定性公理）も無矛盾である
（ADは選択公理と矛盾するからZFCとZF+ADは別の理論）
