暇つぶし2chat MATH

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