You can draw pretty pictures if you like, but they are something of a dead-end. You really need some kind of formal axioms stated in the language of formal logic and set theory, if your intention is rigorously prove things about the natural numbers. As a starting point for number theory, there is still none better than Peano's 5 simple axioms.