Comment by openasocket

I’m not sure there’s many axioms used. Given any set A, and a function from A to the power set, P(A), construct the set X = {a in A | a is not in f(a) }. Here all we’re using is the power set axiom to define the power set and the subset axiom schema to construct X. We claim there is no a such that f(a) = X. If there was such an a, is a in X? By construction, a is in X if and only if a is not in X, just by first order logic, which is a contradiction. Thus, X is not in the image of f, so f is not a bijection. Thus, there is no bijection from A to P(A). And that’s it. We don’t even need the axiom of choice