What is a positive integer called?
You can see RL Goodstein, Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus (1957), for a modern attempt to "revamp" the so-called "formalist" approach to the definition of number [page 1-on] : Show
|