T25
13 Dezembro 2019, 10:30 • Mário Jorge Edmundo
A hierarquia cumulativa, propriedades, o universo cumulativo. Algumas observações sobre modelos naturais: um modelo de ZFC sem o axioma da substituição.
13 Dezembro 2019, 10:30 • Mário Jorge Edmundo
A hierarquia cumulativa, propriedades, o universo cumulativo. Algumas observações sobre modelos naturais: um modelo de ZFC sem o axioma da substituição.