 This insight, however, led to another. Frege realized that though we may identify this sequence of numbers with the natural numbers, such a sequence is simply a list: it does not constitute a definition of a concept (e.g., natural number) that applies to all and only the numbers defined in the sequence. Such a concept is required if we are to prove as theorems the following axioms of Dedekind/Peano number theory: 