Archimedisch angeordneter Körper/Rationale Zahlen liegen dazwischen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wegen ist und daher gibt es nach Fakt ein mit . Nach Fakt gibt es auch ein mit und ein mit . Daher gibt es auch ein derart, dass

ist. Damit ist einerseits und andererseits

wie gewünscht.

Zur bewiesenen Aussage