Sumários
AULA 11
2 Novembro 2022, 08:00 • Fernando Ferreira
Princípio de recursão transfinita nos ordinais. Soma, multiplicação e exponenciação ordinal. Demonstração por indução transfinita de que a soma ordinal é associativa. Enunciado da distributividade à direita da multiplicação em relação à adição. Enunciado da associatividade da multiplicação.
AULA 10
28 Outubro 2022, 12:00 • Fernando Ferreira
Recapitulação sobre os ordinais. Toda a classe não vazia de ordinais tem elemento mínimo. O princípio da indução transfinito nos ordinais.
AULA 9
21 Outubro 2022, 12:00 • Fernando Ferreira
Continuação da discussão dos ordinais de von Neumann. A ordem entre ordinais. O ordinal 0, ordinais sucessores, ordinais limite. Todo o conjunto de ordinais tem supremo. A classe de todos os ordinais é uma classe própria (paradoxo de Burali-Forti).