Let be a formula of the languages of set theory. Let X be a set. Then the following is a set: , ie all the elements of X with the property form a set.
Write down a formula saying that "v is a set which has exactly three elements".
I would like to check whether it is possible to represent the above statement as this:
Thanks in advance.