The natural numbers, defined as the smallest subset of the real numbers that contains zero and is closed with respect to the successor operation.