# Closed formula

From Encyclopedia of Mathematics

See Arithmetic, formal.

#### Comments

A closed formula is a formula in a formal (logical) language not containing free variables.

**How to Cite This Entry:**

Closed formula.

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