>>1
it's a basic theorem of abstract set theory...
"2^x>x whenever x is a cardinal number"...
if you find a surjection from a set to it's power set, that would imply that the cardinal of the set (say x) is greater then or equal to the cardinal or it's power set (which is 2^x).... that contradicts the theorem and hence leads to the failiure of set theory...