From Encyclopedia of Mathematics
Revision as of 17:18, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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:
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article