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
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.
|