FORMALSYSTEM

Formal system

A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics. Euclid's Elements is often held to be the first formal system and displays the characteristic of a formal system. The entailment of the system by its logical foundation is what distinguishes a formal system from others which may have some basis in an abstract model. Often the formal system will be the basis for or even identified with a larger theory or field consistent with the usage in modern mathematics such as model theory. A formal system need not be mathematical as such, Spinoza's Ethics for example imitates the form of ...

The above text is a snippet from Wikipedia: Formal system
and as such is available under the Creative Commons Attribution/Share-Alike License.

formal system

Noun

  1. The grouping of a formal language and a set of inference rules and/or axioms.


The above text is a snippet from Wiktionary: formal system
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!