Real number by Ciro Santilli 34 Updated Created
A good definition is by using Dedekind cuts.