AULA 22

14 Dezembro 2022, 08:00 • Fernando Ferreira

Fecho transitivo dum conjunto. Princípio de \epsilon-indução. O universo cumulativo.

Resolução do primeiro exercício do terceiro teste.