Be the first in the room — members see you arrive.
Join the roomLa lógica matemática es el estudio de la lógica formal dentro de las matemáticas. Las principales subáreas incluyen la teoría de modelos, la teoría de la demostración, la teoría de conjuntos y la teoría de la recursión. La investigación en lógica matemática comúnmente aborda las propiedades matemáticas de los sistemas formales de lógica, como su poder expresivo o deductivo. Sin embargo, también puede incluir el uso de la lógica para caracterizar el razonamiento matemático correcto o para establecer los fundamentos de las matemáticas.
