Definition:Theory (Logic)

Definition
Let $\LL$ be a logical language.

An $\LL$-theory $T$ is a set of $\LL$-sentences.