Category:Formal Systems

From ProofWiki
Jump to: navigation, search

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$.