formal system

In  logic and mathematics, a formal system consists of two components, a formal language plus a set of inference rules or transformation rules. A formal system may be formulated and studied for its intrinsic value, or it may be intended as a description (i.e. a model) of external phenomena.
See more at Wikipedia.org...

B: (Matematika) sistem formal
Built to Babylon by Hikmat Gumilar Visit my Website;