17798 | Cantor presented the totality of natural numbers as finite, not infinite [Cantor, by Mayberry] |
17423 | The essence of natural numbers must reflect all the functions they perform [Sicha] |
9965 | There couldn't just be one number, such as 17 [Jubien] |
13676 | Only higher-order languages can specify that 0,1,2,... are all the natural numbers that there are [Shapiro] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
17877 | The number series is primitive, not the result of some set theoretic axioms [Almog] |