T26
18 Dezembro 2019, 08:00 • Mário Jorge Edmundo
Um modelo (natural) de ZFC sem o axioma da substituição (conclusão), cardinais inacessíveis e um modelo natural para ZFC. Inicio da demonstração do paradoxo de Banach-Tarski.
18 Dezembro 2019, 08:00 • Mário Jorge Edmundo
Um modelo (natural) de ZFC sem o axioma da substituição (conclusão), cardinais inacessíveis e um modelo natural para ZFC. Inicio da demonstração do paradoxo de Banach-Tarski.