Naravna števila in Peanovi aksiomi

Naravna števila opredelimo s Peanovimi aksiomi in iz njih izpeljemo nekatere osnovne lastnosti naravnih števil.