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.