# Formula

From Encyclopedia of Mathematics

A sentence in a formalized language (possibly with parameters). For examples of the exact definition of the concept of a formula in several formalized languages, see the articles Axiomatic set theory; Arithmetic, formal; Predicate calculus; Types, theory of. In mathematical practice, formulas also have a semantic meaning. They can be either names, or forms of statements, definition-abbreviations, etc.

**How to Cite This Entry:**

Formula.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Formula&oldid=16713

This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article