(\forall m,n\in\mathbb{Q})(\exists p\in\mathbb{R})\, m\le p\le n \lor n\le p\le m