Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

For the following argument, how can I produce an adequate translation, including interpretations function and formal sentence where universe $\mathcal{U} = \{\bigcirc\mid\bigcirc\text{ is a set}\}$.

And we can probably use:

M1: and o is a master set e: elements

1.) Any master set has as elements all and only set which are not elements of themselves.

2.) There are no master sets

and we can probabloy use: M1: and o is a master set e: elements

Am I on the right track?

share|cite|improve this question
did you not ask this question here already – Rudy the Reindeer Mar 4 '11 at 19:10
So far, your questions are obscurely and poorly worded, which is probably why you are not really getting much in the way of help. Try to spend some more time giving context, nomenclature, and explaining your thoughts so far. Extra time spent on formatting and correct spelling are a plus. – Arturo Magidin Mar 4 '11 at 19:16

I think you are asking: "How can I translate these sentences into formal ones using quantifiers?" Using $x\in M$ to mean "x is a master set", we'd get:

  1. $\forall x\in \mathcal{U}:x\in M \implies \forall y\in x: y\not\in y$
  2. $\neg\exists x\in \mathcal{U}: x\in M$

I'm not entirely sure what you mean by an interpretation function, but if you're just trying to generate an extension for these propositions, I think you can come up with some examples. Without knowing your universe though, I don't think we can do much to help.

share|cite|improve this answer

Your Answer


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