0
$\begingroup$

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?

  • 0
    did you not ask this question here already http://math.stackexchange.com/questions/24972/quantifier-translation/2011-03-04
  • 5
    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.2011-03-04

1 Answers 1