[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Countable mathematics is mathematics in which one studies the countable sets, similar to how finite mathematics is mathematics in which one studies the finite sets. And countable mathematics is basically the subarea of mathematics that classical and constructive, predicative and impredicative mathematicians all agree on. category: redirected to nlab