[[!redirects number theory]] [[!redirects Number theory in HoTT]] Here we collect articles about doing number theory in HoTT. * [[natural numbers]] * [[division algorithm]] * [[integers]] * [[rational numbers]] * [[decimal numbers]] * [[rational root theorem]] * [[ordered integral domain]] * [[ordered field]] * [[infinities and infinitesimals]] * [[Archimedean ordered integral domain]] * [[Archimedean ordered field]] * [[irrational numbers]] * [[locator]] * [[number field]] * [[Cauchy complete Archimedean ordered field]] * [[Dedekind complete Archimedean ordered integral domain]] * [[Dedekind complete Archimedean ordered field]] * [[interval-complete Archimedean ordered field]] ## References ## * [[HoTT Book]]