Well, Cantor's first theorem states that there is no bijection between a set and its power set, but Cantor's theory is so controversial that it's hard to know whether all mathematicians agree with it or not, especially regarding the diagonal argument.
That's exactly the issue, I can't figure it out either way and I've heard arguments from both sides....The balance of arguments seems to side with Cantor, but I can't seem to quite find or work out a smoking gun, clear-cut proof
Yes, likewise I agree, B as defined by you will always be stronger. Is it not one of the mysteries in set theory, that we have hierarchy of infinities?