Sumários
AULA 2
23 Setembro 2022, 12:00 • Fernando Ferreira
O axioma da união e o axioma das partes. Exemplos de existência de conjuntos usando estes axiomas.
A operação de sucessor. Conjuntos indutivos. Introdução ao axioma do infinito.
AULA 1
21 Setembro 2022, 08:00 • Fernando Ferreira
Apresentação do professor. Bibliografia.
A dupla face da teoria dos conjuntos: (1) como teoria do infinito; (2) como arena de construção de entidades matemáticas.
O paradoxo de Russell. Os axiomas da extensionalidade e da separação. Classes próprias. O axioma do par. A definição de Kuratowski de par ordenado.