AULA 9

14 Outubro 2020, 08:00 • Fernando Ferreira

Princípio da indução transfinita numa boa-ordem.