- 152 名前：１３２人目の素数さん mailto:sage [2025/01/11(土) 21:47:22.25 ID:7/7JENEr.net]
- >>113
>しかし、可算整列可能定理（＝可算選択公理）を否定すると、有限になるので
これが雑談の根本的な誤解。
整列可能定理と選択公理の関係から、両者に「可算」を付けても同じだろうと
連想したのだろうが、証明を読めば事情はまったく異なる。
可算選択公理は可算個の集合族についての言明で、それら集合族の和集合が
可算集合とは限らないから、可算集合の整列可能性（これは自明）から
可算選択公理は従わない。
