Definition:Formal System/Also known as

Formal System: Also known as

A formal system is also known as:

• A formal theory
• A logical system
• A logistic system
• A logical calculus
• A logic

particularly in sources where the main application of formal systems lies in symbolic logic.

On $\mathsf{Pr} \infty \mathsf{fWiki}$, these terms are discouraged because they provoke false conclusions about the scope of the term formal system.

Some sources use the term axiomatic system, particularly when applying this technique to specific fields of mathematics.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): formal system (formal theory)
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): formal system (formal theory)
• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): axiomatic system