>>143
> a<b ならば、あるxが存在してa<x<bとなる という命題が偽なんじゃない？

それは稠密性の定義なので、実数の集合 R が稠密な集合である以上、それは成り立たざるを得ない
何なら有理数 Q でも同じ