- 338 名前：１３２人目の素数さん mailto:sage [2018/12/23(日) 16:50:31.66 ID:ehyeszXx.net]
- >>254
>可算無限長数列のシッポの同値類と代表、決定番号
>これが、時枝記事のキモでしょう？（＾＾
選択公理を公理として認めるか否かということに集約される。
選択公理を認めて数学の議論をしても、選択公理を認めずにその議論をしても、何ら矛盾は起きない。
ただ、後者のように選択公理を認めないと、構築される数学の幅がかなり狭くなる。
なので、通常は選択公理を公理として認めて議論する。
