Custrüzziú di intreegh natüraj

De Wikipedia
Jump to navigation Jump to search
Portal Artícuj relazziunaa a matemàtica

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.

Vidée apó[<small>Mudifega</small> | mudìfica 'l sorgènt]