  Recall that Frege defined the number \(0\) as the number of the concept being non-self-identical, and that \(0\) thereby becomes identified with the extension of all concepts which fail to be exemplified. Using this definition, Frege then defined (1884, §83) natural number as follows: