Sumários
AULA 3
27 Setembro 2023, 08:00 • Fernando Ferreira
O axioma das partes. Produto cartesiano e conjunto das funções de x para y.
O axioma do infinito. Definição de \omega como o menor conjunto indutivo. Conjuntos transitivos.
AULA 2
22 Setembro 2023, 12:00 • Fernando Ferreira
O axioma do par. Definição de Kuratowski de par ordenado.
O axioma da união. Funções como (certos) conjuntos de pares ordenados. Justificação da existência, como conjunto, do domínio e da imagem duma dada função. Funções injetivas. Apliacações. Aplicações sobrejetivas.
AULA 1
20 Setembro 2023, 08:00 • Fernando Ferreira
O paradoxo de Russell. O axioma da extensionalidade.
O axioma esquema da separação. Classes próprias.