Logic & Foundations with Haskell :: Naive Set Theory
Channel: Marius Furter
Date: 2023-05-08

We cover the basic definitions of set theory in preparation for understanding the ZFC axioms.

00:00 Introduction
00:17 Definition: Sets
04:55 Definition: Empty set
06:44 Definition: Subsets
08:55 Definition: Set comprehension
09:27 Definition: Union, intersection, difference
12:53 Definition: Power set
15:29 Definition: Cartesian product
18:36 Prop: Identities for set-theoretic operations
24:56 Paradoxes arising from the naive view

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z