Homotopy Type Theory an axiomatization of the real numbers > history

< real number