Full Idea
All numbers are related to zero by the ancestral of the successor relation.
Clarification
See Idea 10617 for the 'ancestral' relation
Gist of Idea
All numbers are related to zero by the ancestral of the successor relation
Source
Peter Smith (Intro to Gödel's Theorems [2007], 23.5)
Book Reference
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.211
A Reaction
The successor relation only ties a number to the previous one, not to the whole series. Ancestrals are a higher level of abstraction.
Related Idea
Idea 10617 The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P]