- 217 名前：１３２人目の素数さん mailto:sage [2021/02/24(水) 08:41:14.75 ID:g7j/Y73h.net]
- >>200
ツッコミの仕方が全て的外れ。
まず「選択公理」じゃなくて「可算選択公理」ね。
次に、>>199の
＞「ゆえに、この作業を可算無限回繰り返せば、
＞ 添え字の集合が可算無限でも選択関数が作れる
＞ (ZFの中で可算選択公理が公理ではなく定理として得られる)」
の部分では、可算選択公理を否定しているのではなくて、
可算選択公理が「公理ではなく定理として得られる」と言っている。
これは「公理の否定」とは意味が全く違う。
次に、「望月IUTが選択公理を否定している」のではなくて、
「可算選択公理に例えるなら、こういうことだろ」っていう話。>>199の冒頭に
＞可算選択公理で例えるなら、
と明記してあるしな。結局、>>200はツッコミの仕方が全て的外れ。だめだこりゃ。
