Teorema di Cantor: differenze tra le versioni

Versione delle 09:28, 4 mag 2013

Versione delle 12:10, 26 ott 2013

Riga 20:

Se <math>y \in B = f(y)</math> allora per la definizione di <math>B</math> si ha <math>y \not\in B</math>, assurdo.

In entrambi i casi si ottiene una contraddizione. Quindi <math>A</math> e il suo insieme potenza non sono equipollentiequipotenti.

== Voci correlate ==