Material set theory

Elementhood Relation Class Axiom

The Elementhood Relation Class Axiom is a possible axiom of material set theory with classes: #m/def/set/nbg

which is to say, there exists a Class, unique by extensionality, representing elementhood as a Relation class.1 It is necessary to fix a construction of the ordered pair within the theory.

#state/tidy | #lang/en | #SemBr

Footnotes

  1. 2015. Introduction to Mathematical Logic, §4.1, p. 236 ↩