Question

Let
W C Nx N
be a Godel universal set. Show that there is a number ? for which $W_{x}={x}$ .

Answer 1

If W ⊂ N X N and N X N equals to U (Godel universal set), then there must a case in which a number x = Wx because both W and x are part of that N X N set or say N X N Universal set.

Example - N X N = {1,2,3,4,5,6,7,8,9}, W = {3.4.5}, then if we choose number 5 as our x then it can also part of W.