 What, now, can we say about the extension of the concept ‘natural number’? It must consist of 0 along with any number than can be reached from 0 by finitely many steps of immediate succession. This characterization, however, threatens to be circular: for, how is one to understand the adverb ‘finitely’ here, if not by appeal to the notion of natural number itself? 