teoría formal

Sustantivo
  1. Sistema de principios y reglas que define la estructura lógica de un campo, como las matemáticas o la lógica.
    La teoría formal es fundamental en la lógica matemática.
synonyms: teoría lógica, modelo formal