# Category:Language of Predicate Logic

This category contains results about the language of predicate logic $\mathcal L_1$.

Definitions specific to this category can be found in Definitions/Language of Predicate Logic.

In order to define $\mathcal L_1$, it is necessary to specify:

- An alphabet $\mathcal A$
- A collation system with the unique readability property for $\mathcal A$
- A formal grammar (which determines the WFFs of $\mathcal L_1$)

## Pages in category "Language of Predicate Logic"

This category contains only the following page.