T21_18

29 Abril 2019, 10:00 • Mário Jorge Edmundo

DM é correto. Consistência, existência de conjuntos de proposições consistentes maximais, conjuntos de proposições com testemunhas, lema de Lindenbaum.