# Category:Language of Predicate Logic

This category contains results about the language of predicate logic $\mathcal L_1$.
In order to define $\mathcal L_1$, it is necessary to specify: