Teorema di Cantor: differenze tra le versioni

Versione delle 20:47, 15 lug 2017

Versione delle 12:07, 28 gen 2018

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>Bf</math> si ha <math>y \not\in Bf</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.