# Category:Formal Systems

This category contains results about Formal Systems.
Definitions specific to this category can be found in Definitions/Formal Systems.

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

## Subcategories

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

## Pages in category "Formal Systems"

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