Peanovi aksiomi
U Peanovom aksimatskom sistemu direktni sljedbenik uzima se kao osnovni pojam. n+ 1 je prirodan broj svaki prirodni broj n ima tačno jednog sljedbenika n+ = n + 1 Uvijek je n+ ≠ 1, tj 1 nije sljedbenik ni jednog prirodnog broja. Iz m+ = n+ onda je i m = n , tj ako su sljedbenici dva prirodna broja jednaki onda su i oni jednaki. (Aksioma indukcije) Svaki podskup M skupa N, koji sadrži broj 1 i sljedbenika svakog svog elementa sadrži sve prirodne brojeve tj M = N.