The reals (constructed as classes of Cauchy sequences of rationals) form a field

Discuss the wikitag on this page. Here is the place to ask questions and propose changes.