Reelle Zahlen/Rationale Cauchy-Folgen/Archimedisch angeordneter Körper/Fakt/Beweis

Beweis

Die in Fakt beschriebenen Alternativen hängen nach Aufgabe nur von der Äquivalenzklasse ab. Daher ergibt sich durch das Lemma eine Zerlegung (des Cauchy-Folgen-Modells) der reellen Zahlen in die , in positive und in negative Zahlen. Dabei sind die positiven Zahlen unter Addition und unter Multiplikation abgeschlossen, d.h. es liegt wegen Aufgabe ein angeordneter Körper vor. Es sei ein gegeben, das durch eine rationale Cauchy-Folge repräsentiert werde. Nach Fakt ist die Folge beschränkt und es gibt insbesondere eine natürliche Zahl mit

für alle . Damit gilt auch für die Restklassen

was bedeutet, dass archimedisch angeordnet ist.