ECS 120 10b:1 diagonalization to show a set is smaller than its power set

From David Doty