Lógica e fundamentos da matemática: curso de Matemática | Zoonk
77. Lógica e fundamentos da matemática
Discute axiomas, ordinais, cardinais, infinitos e independência de proposições. Também situa os limites formais de sistemas matemáticos por resultados de completude e incompletude.