You want to say the following: "there exist x, y and z such that none of these three are equal, and for all w, w is equal to one of these." Now see if you can write that as a first order sentence.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.