Lógica e Fundamentos

Lógica e Fundamentos é um subcampo da matemática com foco principalmente na teoria dos conjuntos, enfatizando também as aplicações da lógica na matemática. Eles são divididos em subcampos de teoria dos conjuntos, teoria da recursão, teoria dos modelos, grandes cardeais, teoria da estrutura fina e teoria da prova.