Natural number

From Groupprops

Definition

A natural number is a positive integer. The natural numbers are .