%% Title: Formal Systems Created: 2022-10-17 10:45 Status: Parent: [[Resources/Maths]] Tags: Source: %% # Formal Systems A formal system is a set of rules for inferring theorems from axioms. The rules for inferring theorems from axioms are the logical calculus of the system, making this an [[Resources/Maths/AxiomaticSystems|axiomatic system]].