natural number

An integer greater than or equal to zero. A natural number is an isomorphism class of a finite set.