Full Idea
From the successor function we can deduce its ancestral, the 'greater than' relation, which is a strict total ordering of the natural numbers. (Frege did not mention this, but Dedekind worked it out, when expounding definition by recursion).
Gist of Idea
'Greater than', which is the ancestral of 'successor', strictly orders the natural numbers
Source
Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 07 'Def')
Book Reference
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.49
A Reaction
[compressed]