You miss a couple os steps too.

First, lets define the axioms, we’re using Peano’s for this exercise.

Axiom 1: 0 is a natural number.

Jump to axiom 6, define the succession function s(n) where s(n) = 0 is false, and for brevity s(0) = 1, s(s(0)) = 2 and so on…