## Definition ## There are many different types which are called real numbers in the literature. These include: * [[computable real numbers]] * [[sequentially Cauchy complete Archimedean ordered field]] * [[Dedekind real numbers]] ## References ## * Univalent Foundations Project, [[HoTT book|Homotopy Type Theory – Univalent Foundations of Mathematics]] (2013)