Theory

Last updated Nov 1, 2022

Let $\mathcal{L}$ be a Language. An $\mathcal{L}$-Theory is a Set of $\mathcal{L}$-Sentences.