Source: /cirosantilli/real-number

= Real number
{title2=$\R$}
{wiki}

= Real
{synonym}

A good definition is by using <Dedekind cuts>.