AULA 23

15 Dezembro 2017, 10:30 • Fernando Ferreira

Os cardinais são (por definição) ordinais que não são equipotentes a nenhum ordinal inferior. Os aléfes. Todo o cardinal infinito é um aléfe. Todo o conjunto tem um cardinal (axioma da escolha).