21/10/09 10:51:28.27 qQhss2MU.net
>>269
>「選択公理を証明できるかも」と言うので、
>「いやいや公理を証明するっておかしいでしょ。
> 証明するとしたら、ある公理系から証明することになるが
> ZFとは独立であることが証明されている」と言ったら
> ブチ切れられて・・・
>>268で紹介した数学者の方も選択公理を知らず
整列定理と混同してましたからね
(選択公理と整列定理は同値ですが、
ステートメントとしては異なります)
数学者といっても無限に関心がないと
そういう感じなんでしょうかね