Interesting Theorems Generated from Set Theory

Naiive Set Theory

• Any set is a subset of the complement of the empty set
• The interesection of any set with the empty set is the empty set
• etc

NBG Set Theory

• The universal class is not the null class
• Every class is a subclass of itself
• Reflexivity of equality
• etc