Re: The members of a set are...?

J Jones schrieb:
The whole is more than the set of its parts.

Yes, but the name of the emergent whole is the name of the set.


In ZFC sets do not have names. Because of the axiom of
extensionality there is no place for names. This is
a fact on the object level. Example:

The set named "anna", anna = {1,2,3}
The set named "bert", bert = {1,2,3}

Although the names are different, the sets are the same.

But in FOL we can have variables, and thus name sets.
Different variables are different, but they might refer
to the same set. This is a fact on the meta level. Example:

The set named "anna", anna = {1,2,3}
The set named "bert", bert = {1,2,3}

Although the sets are the same, the names are different.

.