前のスレで、>>831 の 「連続関数がコンパクト集合上で
一様連続である(ハイネの定理)ことを示すのに選択公理が必要。
つまり、選択公理抜きでは連続関数が有界閉区間上で可積分で
あることを証明できないってこと。 」
と言う主張の間違いを指摘できなかったような奴らが、
どれほどまでに選択公理について深い議論ができることやらw