Formal system A formal system is an abstract structure used for inferring theorems from axioms a according to a set of rules. References https://en.wikipedia.org/wiki/Formal_system Metadata Type:🔵 Tags: Mathematics / Logic Status:⛅️