II. Teoria dos Conjuntos - 1

18 Outubro 2021, 14:00 • António José Teiga Zilhão

Ontologia e conceitos fundamentais da Teoria dos Conjuntos: conjuntos, objectos, relação de pertença entre objectos e conjuntos e versão conjuntista do princípio lógico do terceiro excluído. Axiomas da Extensionalidade, da Extracção, do Conjunto Vazio e da Potência. Relação de inclusão e suas propriedades. Subconjunto e subconjunto próprio. Conjunto-potência de um conjunto. Noção de cardinal de um conjunto. Demonstração do modo como, a partir do axioma do conjunto vazio e do axioma da potência, se pode gerar uma infinidade de novos conjuntos de cardinalidade crescente.