caratterizzazione dell'unità tramite corrispondenza biunivoca e insieme prodotto
caratterizzazione dell'unità tramite corrispondenza biunivoca e insieme prodotto
Mi pare di poter dire che il numero 1 possa essere definito come la cardinalità di ogni insieme finito I tale per cui è possibile porre in corrispondenza biunivoca lo stesso insieme I e l'insieme definito come prodotto cartesiano I X I. Vi sembra una affermazione corretta? Dove posso trovare sviluppi di questa definizione?