# Definition:Theory (Logic)/Maximal

Jump to navigation Jump to search

## Definition

Let $\mathcal L$ be a language.

Let $T$ be an $\mathcal L$-theory.

$T$ is maximal if and only if:

for every $\mathcal L$-sentence $\phi$, either $\phi \in T$ or $\neg \phi \in T$.