# Category:Definitions/Language of Predicate Logic

This category contains definitions related to the Language of Predicate Logic $\mathcal L_1$.
In order to define $\mathcal L_1$, it is necessary to specify: