Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

how can i translate this sentence to a quantifier formula, when the universe - { o|o is a set }

Any master has as elements all and only sets which are not elements of themselves.

i know it starts of with an existential quantifier since its dealing with a specific object "master"

any feedback would be great.

share|cite|improve this question

I think "any master" translates into $\forall$ masters.

If I had to answer this question, I think I would first try to translate "all and only sets which are not elements of themselves". To do that, I might (as a partial answer) try to translate "a set that is not an element of itself", "all sets which are not elements of themselves" and "only sets which are not elements of themselves". Then I would try to merge these three partial answers into the answer to the original question.

Edit: I think "all sets that are not an element of themselves" looks like this: $$ \{ S \mid  S \not\in S \} $$

Hope this helps!

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.