material set theory

**Material set theory** (also called *membership-based set theory*) is a style of set theory that contrasts with structural set theory. In a material set theory, the elements of a set exist independently of that set. (The terminology ‘material’, or at least ‘materialistic’, goes back at least to Friedman 1997.) The standard example is ZFC.

Frequently in material set theory one takes everything to be a pure set, including the elements of sets themselves. Therefore, any two sets may be meaningfully compared to ask if they are equal or if one is a member of the other. As a slight variation (still material set theory), one may also accept ur-elements (or atoms) as elements. The main distinguishing feature of a material set theory is a global membership predicate, whereby it is meaningful to ask, given any object and a set, whether the object is an element of the set.

- Harvey Friedman (1997). Foundational Completeness. FOM, 1997 November.

Last revised on August 2, 2015 at 15:44:50. See the history of this page for a list of all contributions to it.