Teorema di Cantor
Da Wikipedia, l'enciclopedia libera.
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 X, l'insieme potenza di X (cioè l'insieme formato da tutti i possibili sottoinsiemi di X) ha sempre cardinalità maggiore di quella di X.
Per una trattazione della tecnica di dimostrazione usata da Cantor si veda la voce Argomento diagonale di Cantor.