Get Babylon's Translation Software!
Free Download Now!
| Wikipedia English The Free Encyclopedia | Download this dictionary |
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...
This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License
