## Tags - Part of: [[Formal science]] [[Mathematics]] [[Metamathematics]] [[Foundations of mathematics]] - Related: - Includes: - Additional: ## Technical summaries - [[Abstract]] [[Structure]] or [[Formalism|formalization]] of an [[axiomatic system]] used for inferring [[Theorem|theorems]] from axioms by a [[Set Theory|set]] of [[inference rule|inference rules]]. ## Main resources - [Formal system - Wikipedia](https://en.wikipedia.org/wiki/Formal_system) - <iframe src="https://en.wikipedia.org/wiki/Formal_system" allow="fullscreen" allowfullscreen="" style="height:100%;width:100%; aspect-ratio: 16 / 5; "></iframe> ## Contents - Includes [[Formal language]] with [[Formal grammar]] and a [[Deductive system]] or [[Proof system]]