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.