Sumários
AULA 13
3 Novembro 2023, 12:00 • Fernando Ferreira
Conjuntos finitos. O princípio dos cacifos. Um conjunto é infinito se, e somente se, \omega se injetar nele.
Conjuntos numeráveis. \omega x \omega é numerável. O ordinal \omega_1.
O teorema de Cantor.
AULA 12
27 Outubro 2023, 12:00 • Fernando Ferreira
A função colapso duma boa ordem. Toda a boa ordem é isomorfa a um (único) ordinal.
Equipotência. O número de Hartogs dum conjunto.