Construct the set . Notice that therefore . However, , to show this, assume to contrary that . Now what we have is essentially Russel's paradox, because if we must have either or . If then by construction , a contradiction. If then by construction for and , a contradiction. Thus, we must have .