Before revision: And yet Cantor's diagonal argument shows that real numbers have higher cardinality.
After revision: And yet Cantor's diagonal argument shows that real numbers have uncountable cardinality.