Yes it does. The intended interpretation of ZFC is the class of all hereditary well-founded sets. This class is often called the von Neumann universe.
Yes it does. The intended interpretation of ZFC is the class of all hereditary well-founded sets. This class is often called the von Neumann universe.