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
Closed formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Closed_formula&oldid=16475