Lógica y Fundamentos

Lógica y Fundamentos es un subcampo de las matemáticas que se centra principalmente en la teoría de conjuntos y también enfatiza las aplicaciones de la lógica en las matemáticas. Se dividen en subcampos de teoría de conjuntos, teoría de la recursividad, teoría de modelos, cardinales grandes, teoría de estructuras finas y teoría de la prueba.