section_heading: Dokaz
paragraph_text: Sada slijedi genijalni argument kojega je našao Cantor. Naime, formirajmo skup <math> Z = \{a \in S|a \not\in g(a)\}. </math> Skup <math> Z \subseteq S </math> se očito nalazi u <math>\mathcal{P}(S)</math>. Budući da je <math> g </math> bijekcija, vrijedi da je <math> g </math> surjekcija, tj. <math> \exists b \in S </math> takav da je <math> g(b) = Z.</math>