Tags¶ Metadata: #topic Part of: Formal science Mathematics Metamathematics Foundations of mathematics Related: Includes: Additional: Significance¶ Intuitive summaries¶ Definitions¶ Technical summaries¶ [[Abstract]] structure or [[Formalism|formalization]] of an [[axiomatic system]] used for inferring theorems from axioms by a set of [[inference rule|inference rules]]. Main resources¶ Formal system - Wikipedia Landscapes¶ Contents¶ Includes [[Formal language]] with [[Formal grammar]] and a [[Deductive system]] or [[Proof system]] Deep dives¶ Brain storming¶ Additional resources¶ Related¶ AI¶ Additional metadata¶ processed #processing #toprocess #important #short #long #casual #focus¶ Unfinished: #metadata #tags