Material set theory

Complement Axiom for classes

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

which is to say, the complement of a class (within the universe of everything except proper classes) exists, which by extensionality is unique and we denote the . It follows immediately that we have a universal class

---

tidy | en | sembr

Footnotes

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