Logic & Foundations with Haskell :: Naive Set Theory

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