3 ms·
Second-order arithmetic formalizes both natural and real numbers. Though it has a host of issues with inference.
by LudwigNagasena 1y ago
Second-order arithmetic formalizes both natural and real numbers. Though it has a host of issues with inference.