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.