La
naturaj nombroj estas la nombroj 0, 1, 2, 3... kiujn oni povas uzi por mezuri la grandon de finia aro.
La naturajn nombrojn oni kutime reprezentas per la simbolo N. Estas facile kompreni ilin, tamen estas iom malfacile difini ilin. Eblas unike priskribi ilin per la [Postulatoj de Peano]?:
- Estas natura nombro 0.
- Ĉiu natura nombro a havas postanton, a + 1.
- Estas neniu natura nombro, kiu havas 0 kiel postanton.
- Apartaj naturaj nombroj havas apartajn postantojn: se a ≠ b, tiam a + 1 ≠ b + 1.
- Se 0 havas iun econ, kaj se la postanto de ĉiu natura nombro, kiu havas tiun econ, ankaŭ havas tiun econ, tiam ĉiuj naturaj nombroj havas tiun econ.
![[Hejmen]](vikio.png)