BachoSeven / eti

set theory course resources

ETI (Set Theory)

A repository for the course of Elementi di Teoria degli Insiemi held by Marcello Mamino in 2022, containing:

• a simple list of theorems, inspired from baldo's lists.
• a simple proof of König's theorem.