Assioma d'estensiunalitaa

Purtaal:matemàtica Artícuj relazziunaa a matemàtica

Quest articol chi l'è scrivuu in Koiné occidentala. La Koiné occidentala l'è pu accettada dai regoll de la lmo.wiki, donca l'articol l'è da nettà.

L'assioma d'estensiunalitaa, u assioma d'estensiú, intervient in lògica, in matemàtica, e in infurmàtega. Al è ü di assiòom-cjaaf da tüta la teuría assiumàtega di cungjuunt e, in particülaar, ul primm assioma da la teuría ZF ( teuría di cungjuunt da Zermelo-Fraenkel ).

L'assioma d'estensiunalitaa al è intimameent liaa a la nuzziú d'igualtaa da düü cungjuunt. Al esiist in efett almaanch ciinch manere diferente da definí chesta nuzziú , e cheest assioma al permett da i ünifiá. Al serviss apó a impusá l'ünicitaa da cungjuunt definii par ul datum dij söö elemeent, cuma ul cungjuunt vöj, i singletú, i para, u i Cungjuunt da le parte.