Teorema di Cantor: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 17:
:<math>y \not\in B</math> oppure <math>y \in B.</math>
 
Se <math>y \not\in B = f(y)</math> allora per la definizione di <math>f</math> si ha <math>y \not\in fA</math>, assurdo.
 
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.