Custrüzziú di intreegh natüraj
From Wikipedia
 |
Artícuj relazziunaa a matemàtica |
 |
Cheest artícul al è scrivüü in Koiné matemàtica, urtugrafía ünificada. |  |
Al esiist plüü da métude clàssiche da custrüzziú di intreegh natüraj però la di intreegh da von Neumann a l’è da spess revardada cuma la plüü sémplis. Parteent da la teuría di cungjuunt, sa l identifía 0 al cungjuunt vöj, pöj sa l custrüiss ul sücessuur d'un intreegh natüraal cuma ul cungjuunt di intreegh naturaj ch’i vegn prima.
Tütt al scumenza cul cungjuunt vöj, 
.
Sa gh'a 
indúe la funziú card la dà ul cardinaal dal cungjuunt, i.e. ul nümar d'elemeent ch’i cumponn- al.
Al esiist adess un elemeent, ul 0, che sa l pöö mett íntal cungjuunt da partenza. Sa pöö dunca furmá ul cungjuunt {0}, cun card({0}) = 1
E inscí da sequenza...
card({0,1}) = 2
card({0,1,2}) = 3
card({0,1,2,3}) = 4
...
Gjuntaant cada völta ul cardinaal dal cungjuunt, sa crea un nuvel cungjuunt, plüü graant d'un elemeent. Repeteenr la procedüra a l'infinii, sa l utegn ul cungjuunt di intreegh natüraj.
Sa pöö verifiá che ul cungjuunt inscí custrüii al satisfà i assiòom da Peano
Par la custrüzziú da l'adizziú , vidé adizziú di intreegh natüraj.
