> ＞ＡＵIIIＵIV なんて区をつくると、図０と同相ではなくなってしまうので、論理が破綻するだろ。
>
> ところが、どうもそうじゃ〜ないみたいなんだよな。( ＾ ＾ ;)
> (略)
> 考えてみれば、確かにそのとおりなんだよね。

ああ。だから >>558 の指摘は本質的じゃないんだが (iwat 氏も「本質的・根本的な順」で2番目
に挙げてるだろ)。

シライシの間違いをたとえるなら…

　贋定理
　　赤と白の石を、有限個一列に並べた列は、全て赤であるか、全て白であるか、いずれかである
　
　贋証明
　　列の先頭の石が赤の場合についてだけ考えればよいことは明らかである。したがって、以後
　　先頭の石の色は赤に固定する。
　　
　　もし赤と白の石が混在した列が存在したとすると、先頭の石は赤であるから、2番目以降の
　　石のどれか少なくとも一つが白い石であるはずである。その石が n 番目 (n > 1) であるとする。
　　この列から先頭の n - 1個の石を取り除くと、残る石の列の先頭は、白い石のはずである。
　　
　　しかし、このことは「先頭の石は赤」と仮定したことに反し、矛盾である。よって、この列に白い石は
　　存在しない。
　　
　　したがって、赤と白の石が混在する列は存在しない。
　　
　　
つまり、シライシは存在しないということで。