# Natural number

(Redirected from Z)

Definition: natural number
The set of natural numbers is defined by .

Later in the semester, we will talk about inductively defined sets; this allows us to define more formally:

Definition: natural number

Here Z stands for "zero" and stands for "successor" (i.e. the next natural number, ).

We can then define , , , and so on.