 This definition of Nx secures the desired result: every natural number is but finitely many steps of immediate succession away from 0. Ancestralization captures the notion ‘finitely many’ without invoking the notion of natural number, and indeed serves as an independent logico-conceptual basis for the definition of the notion of natural number itself. Note also that it is an essentially second-order notion. 