AULA 12
31 Outubro 2018, 08:00 • Fernando Ferreira
O universo cumulativo. Menção de que o universo cumulativo esgota todo o universo.
O colapso de Mostowski duma boa-ordem. O tipo duma boa-ordem.
31 Outubro 2018, 08:00 • Fernando Ferreira
O universo cumulativo. Menção de que o universo cumulativo esgota todo o universo.