Beweis: Für alle \(a < b\) in \(\mathbb{R}\) existiert ein \(\mathbb{Q}\) mit \(a < q < b\)
- {{c1:: Wähle nach Archimedischem Prinzip \(n \in \mathbb{N}\) so dass \(\frac{1}{n} < b - a\).}}
- {{c2:: \({\frac{m}{n} \mid m \in \mathbb{Z}}\) diese vielfache überdecken ganz \(\mathbb{R}\) in regelmäßigen Abständen von \(\frac{1}{n}\).}}
- {{c3::Wähle kleinstes \(m \in \mathbb{Z}\) mit \(\frac{m}{n} > a\) dann gilt \(\frac{m - 1}{n} \le a\) also \[ \frac{m}{n} = \frac{m - 1}{n} + \frac{1}{n} \le a + \frac{1}{n} < a + (b - 1) = b \]}}
- {{c4:: Somit ist \(q = \frac{m}{n} \in \mathbb{Q}\) mit \(a < q < b\).}}
