Teorema di Cantor: differenze tra le versioni

Versione delle 23:58, 7 ott 2020

Versione delle 17:33, 17 nov 2020

Riga 10:

== Dimostrazione ==

Per definizione di cardinalità, abbiamo <math>\mathrm{card(X)} < \mathrm{card(\bar{X})}</math> per due insiemi generici <math>X</math> e <math>\bar{X}</math>, se e solo se esiste una funzione [[Funzione iniettiva|iniettiva]], ma non [[Corrispondenza biunivoca|biettiva]] da <math>X</math> a <math>\bar{X}</math>.

Riga 39 ⟶ 38:

* [[Georg Cantor]]

* [[Paradosso dell'ipergioco]]

== Altri progetti ==

{{interprogetto}}

== Collegamenti esterni ==