Material set theory

Domain Axiom for classes

The Domain Axiom is a possible axiom of Material set theory with classes1:

which is to say, the domain of any Relation set exists, unique by extensionality, and denoted .

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

Footnotes

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