Definition:Theory (Logic)/Maximal

From ProofWiki
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$.