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?