formal system

<logic> a formal language (alphabet and grammar) and a deductive apparatus (axioms and rules of inference).

See arithmetic, formal system of, categoricity of systems, closure of a system, decidable system, formal language, deductive apparatus

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: formalism « formal language « formal methods « formal system » formal system of arithmetic » formation rules » forms