Reelle Zahlen/Rationale Cauchy-Folgen/Konvergenz der Repräsentanten/Fakt

Eine rationale Cauchy-Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$

konvergiert im Cauchy-Folgen-Modell gegen die Äquivalenzklasse ${}[{\left(x_{n}\right)}_{n\in \mathbb {N} }]$.

Zum Beweis, Alternativen Beweis erstellen