TP 9

19 Outubro 2018, 11:30 • Fernando Ferreira

Enunciado dum exercício: a concatenação de duas boas-ordens é uma boa-ordem. Ainda o exercício 2.8(1): nota sobre o uso do axioma da escolha.