Material set theory

Domain Axiom for classes

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

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

---

tidy | en | sembr

Footnotes

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