Sumários

28 Setembro 2018, 10:30 • Fernando Ferreira

Axioma do infinito (continuação). Demonstrações por indução.

Demonstração de que a classe universal é uma classe própria (não é um conjunto).

O axioma da substituição.

26 Setembro 2018, 09:00 • Fernando Ferreira

Resolução do exercício 1.4 (continuação). Enunciados dos exercícios 2.3 e 2.4 do manual.

26 Setembro 2018, 08:00 • Fernando Ferreira

O axioma da compreensão (separação). O paradoxo de Russell. A justificação da existência do produto cartesiano de dois conjuntos.

Conjuntos indutivos. O axioma do infinito. O conjunto dos números naturais como o menor conjunto indutivo.

21 Setembro 2018, 11:30 • Fernando Ferreira

Resolução dos exercícios 1.2, 1.3 e 1.4. Enunciados dos exercícios 2.1 e 2.2 do manual.

21 Setembro 2018, 10:30 • Fernando Ferreira

Os axiomas da extensionalidade, do conjunto vazio, dos pares, da união e das partes. Os números naturais. As etapas finitas do universo cumulativo.