1 对任意实数x,都存在比x更大的实数y: 描述:$\forall x \in R \quad \exists y \in R(y>x)$ 2 任意两个实数之间,都存在一个实数 描述:$\forall x,y \in R(x