Teorema di Cantor: differenze tra le versioni

Versione delle 04:05, 30 apr 2015

Versione delle 14:06, 19 giu 2015

Riga 1:

In [[matematica]], e in particolare nella [[teoria degli insiemi di Zermelo - Fraenkel]] (ZF), il '''teorema di Cantor''' afferma che, dato un insieme di qualsiasi [[cardinalità]] (numero di elementi), esiste sempre un insieme di cardinalità maggiore. In particolare, dato un insieme <math>X</math>, l'[[insieme delle parti]] di <math>X</math> (cioè l'insieme formato da tutti i possibili sottoinsiemi di <math>X</math>) ha sempre cardinalità maggiore di quella di <math>X</math>.

Il teorema di Cantor sono tutte cazzate

Il teorema di Cantor è ovvio per [[insieme finito|insiemi finiti]], ma continua a valere anche per [[insieme infinito|insiemi infiniti]]. In particolare, l'[[insieme delle parti]] di un [[insieme numerabile]] è più che numerabile.

Per una trattazione della tecnica di dimostrazione usata da Cantor si veda la voce [[Argomento diagonale di Cantor]].

== La dimostrazione ==