The minimal metric-complete extension of the field of rational numbers \mathbb{Q}: \mathbb{R} = <\mathbb{Q}> \, \ni \, \mathbb{Q}.
The minimal metric-complete extension of the field of rational numbers \mathbb{Q}: \mathbb{R} = <\mathbb{Q}> \, \ni \, \mathbb{Q}.