x
The reals (constructed as classes of Cauchy sequences of rationals) form a field - History — AI Alignment Forum