Legal Samuel, esse é um bom jeito de pensar nesses cardinais estranhos:
são invariantes para a relação de equipotência, vale o teorema de Schroder
et al., e são dominados por alephs já que esses formam uma classe própria
(pelo Hartogs). Além disso é bom lembrar que, em geral, não vale que x é
Oi Rodrigo,
Exatamente por conta disso de seu comentário é que nao gosto desses
cardinais de ZF, ter um representante de um certo tamanho que nao
tenha esse tamanho nao me agrada hehe. Prefiro ficar lidando com o
tamanho, falando dos objetos diretamente (os conjuntos), sem falar do
