Cantor's diagonal argument

Based on this lemma, Cantor then uses a proof by contradiction to show that:

is not a set — i.e., does not satisfy the axiom scheme. On the other hand, we might try to create a modified diagonal argument by noticing that