What I’ve called “existing numbers,” Nelson calls “counting numbers.”
Another term to search for is “feasible numbers”. There are several theories of these, and Nelson’s theory of countable (addable, multipliable, etc) numbers is yet another.
Another term to search for is “feasible numbers”. There are several theories of these, and Nelson’s theory of countable (addable, multipliable, etc) numbers is yet another.