Definition:Formal System/Also known as

Formal System: Also known as
A formal system is also known as:


 * 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, 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.