Más exactamente si se considera un objeto matemático o una clase de objetos matemáticos formula_1, una teoría de "formula_1" denotada como formula_3 es un conjunto de fórmulas de primer orden (proposiciones del lenguaje de la teoría) sobre formula_1 que son verdaderas.