Natural Numbers

Definition

Natual numbers $(\mathbb{N})$: The elements $n\in \mathbb{N}$ are identified as $n-$fold sum of the unit element $1\in \mathbb{R}$.