Théorie

Un ensemble de formules dans un langage formel considéré comme un corps d'énoncés, souvent présenté comme un jeu d'axiomes accompagné de toutes les formules qui en sont déductibles ; une théorie peut être finie ou infinie, axiomatisable ou définie par sa classe de modèles.

Un ensemble de phrases dans un langage logique fixé, typiquement clos sous conséquence logique, dont les membres servent d'axiomes ou de conséquences caractérisant une classe de modèles.