The onus is on you for ZFC to actually output that 'sets larger than countable infinity exist'. ________________________________ That is what Cantor in fact proved. You can easily do this entirely in ZFC by showing that a set and its power set cannot be bijected. Consult any book on set theory, or http://www.math.ucla.edu/~hbe/resource/general/131a.3.06w/cantor.pdf
Until then, your claims and proof of such are not formal at all, and open to reverse hypothesis analysis. __________________________________ There is a formal proof, so I guess your objections are irrelevant.
