Olá a todos,
Sobre ordinais:
A solucao que tem no livro do Kunen de Teoria dos Conjuntos sempre me
satisfez: ele trabalha no primeiro capítulo em ZF-, sem regularidade,
regularidade vai entrar bem depois no livro...
Arthur, dá uma olhada no desenvolvimento de ordinais do livro do
Kunen. El
> Eu suma, preciso encontrar uma maneira de provar que todo ordinal não
> pertence a si próprio, sem usar indução fraca ou forte nos ordinais,
> tampouco o princípio da boa ordem, os quais ainda não estão disponíveis.
Você tem certeza de que o "princípio da boa ordem" (equivalente ao
axioma da esc
