>>65
説明になってるよ

決定番号は理解してるかい？
代表列と一致する尻尾の先頭だよ
決定番号以上の項は当然代表列と一致する
だから一致しない項の番号は決定番号より小さい

だから2列の場合、どっちを選んでも失敗するなら
d1>d2
d2>d1
のどっちも成り立つことになるが、それが自然数の全順序の性質と矛盾する

こんなこと大学１年どころか高校生でも知ってるけどな
OT君　大学教授だったんだよね？　だったらこんなの常識だよね？