First axiom - iaminfinityiq/successor-function GitHub Wiki

The first axiom states that 0 is a natural number. What this says here is in the natural numbers set (or $N$), then 0 is the first and smallest element in the set. Peano's original formulations of the axioms stated that 1 is the first natural number instead of 0.