Fundamentals of Formalisation level 2: Basic Set Theory

Followup to Fundamentals of Formalisation level 1: Basic Logic

Basic Set Theory

The big ideas:

  • Axioms of Set Theory

  • Set Operations

To move to the next level you need to be able to:

  • Explain what a set is.

  • Calculate the intersection, union and difference of sets.

  • Prove two sets are equal.

  • Apply basic axioms of Zermelo-Fraenkel set theory.

Why this is important:

Set theory has become entrenched as the basic language with which all mathematics can be discussed. While there are more estranged parts of set theory that will likely be irrelevant to you, a fluency in the basic materials of set theory is necessary to understand more advanced mathematics.


You can find the lesson on our course platform. Good luck!