A lochica matematica gosa dividir-se en quatro subcampos: teoría de modelos, teoría d'a demostración, teoría de conchuntos y teoría d'a recursión. A investigación en lochica matematica ha chugau un papel fundamental en o estudeo d'os fundamentos d'as matematicas. Actualment s'usan indiferentment como sinonimos as expresions: lochica simbolica (u lochistica), lochica matematica y lochica formal.