a rough synonym for formal system, but it also refers to a given style of notation, for example, Paul Dirac's bra-ket notation.

Concepts

A formal system has the following components, as a minimum:

* Formal language, which is a set of well-formed formulas, which are strings of symbols