20/06/08 16:41:00.36 ZNiOPlY2.net
>>878
（反例の非存在の証明）
「箱入り無数目」記事に従って、１００列それぞれから１箱を選ぶ
このうち、代表元と一致しない箱はたかだか１箱である
なぜなら、自列の決定番号ｄが他の列の決定番号の最大値Dより
大きくなる列はたかだか１列しか存在しないからである
もしｄ＞Dとなる列が2列以上あるとすると
ｄｉ＞ｄｊ かつ ｄｊ＞ｄｉとなる
自然数ｄｉ，ｄｊが存在することになるが
これは自然数の全体が全順序集合であることと矛盾する
馬鹿は、自然数が全順序集合でないといいたいようだｗｗｗ