section_heading: Dokaz
paragraph_text: Pokažimo sada da je <math> |S| \neq |\mathcal{P}(S)|</math>. Pretpostavimo suprotno, tj. pretpostavimo da je <math> |S| = |\mathcal{P}(S)|</math>. Neka je <math> g : S \rightarrow \mathcal{P}(S) </math> bijekcija. (Ona postoji jer su prema pretpostavci skupovi <math> S </math> i <math>\mathcal{P}(S)</math> iste kardinalnosti.)