Actually, thinking further about the cardinality issue, you're right. I can't map one into the other, but this doesn't prove one is larger than the other. It proves that set theory (or w/e) can't deal with sets with infinite cardinality.