T18

20 Novembro 2019, 08:00 • Mário Jorge Edmundo

Propriedades de ordinais. A classe dos ordinais é transitiva, a pertença é uma ordem total estrita e satisfaz o princípio do mínimo. Teorema de Burali-Forti: a classe dos ordinais é uma classe própria. Princípio de indução transfinite para boas ordens; princípio de indução transfinite nos ordinais.