[[!redirects number theory]] [[!redirects Number theory in HoTT]] Here we collect articles about doing number theory in HoTT. * [[natural numbers]] * [[integers]] * [[rational numbers]] * [[rational root theorem]] * [[ordered integral domain]] * [[ordered field]] * [[Archimedean ordered integral domain]] * [[Archimedean ordered field]] category: not redirected to nlab yet