# Category:Definitions/Formal Systems

This category contains definitions related to Formal Systems.
Related results can be found in Category:Formal Systems.

A formal system is a formal language $\LL$ together with a deductive apparatus for $\LL$.

## Subcategories

This category has the following 5 subcategories, out of 5 total.

## Pages in category "Definitions/Formal Systems"

The following 26 pages are in this category, out of 26 total.