>>616
実数も稠密であることが証明されていると思います。

＞実数ではどちらかがあるはずです
そうです。実数をデーデキント切断した場合、ナイフにカキンと
当たった数を下組に含めるか上組に含めるかでど、最大元か
最小元どちらかの実在は自明になりますが、もう一方の実在は
不定となると思います。ですから、最大元から最小元へのポイン
タの移動は不可能では無いかと推測したわけです。
は最大元か
最小元