Home / Tracks / Natural Numbers
The natural numbers are where mathematics begins. Zero, successor, induction — from these three ideas, all of arithmetic follows. In Lean 4, natural numbers are defined inductively: there is zero, and for every natural number there is a successor.