Zu jeder rationalen Zahl q ∈ Q {\displaystyle {}q\in \mathbb {Q} } sei ein Intervall [ a q , b q ] {\displaystyle {}[a_{q},b_{q}]} derart gegeben, dass q {\displaystyle {}q} in dessen Innern liegt, also q ∈ ] a q , b q [ {\displaystyle {}q\in {]a_{q},b_{q}[}} . Ist