AULA 4
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.