AULA 21

15 Dezembro 2021, 08:00 Fernando Ferreira

O princípio da indução epsilon. O teorema do universo cumulativo.

Os números reais como cortes de Dedekind: descrição genérica.