Material set theory

Axiom of Intersection

In typical material set theory such as , it is not necessary to take the existence of an intersection as an axiom, as it can be derived from the Axiom of Union and Specification Axiom Schema. That is, it is a theorem of that #m/thm/set/zf

which is to say, for any set there exists an intersection consisting of the elements of elements of , which by extensionality is unique, and we denote .

Proof in

By the Axiom of Union, exists. Consider the formula

then using this with the Specification Axiom Schema on gives

which is the demanded above.

Axiom of Intersection for classes

For classes, on the other hand, the Axiom of Intersection1 plays an imortant role in replacing the Specification Axiom Schema:

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

Footnotes

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