>>77
論理がメチャクチャ。上3行で言ってるのは、
「どんな無理数xに対しても、xを挟む有理数区間の列Inがある」
ということであって、「これは逆に言うと」以降につながらない。

たとえば、
「どんな人間xにも、その親となる人間yが存在する（した）」
は正しいが
「どんな人間yも、ある人間xの親である（親だった）」
は正しくない。
当然、上から下を導くことなどできない。