# Individual constant

From Encyclopedia of Mathematics

*object constant*

A symbol of a formal language used to denote a distinguished, fixed element (individual) in the structure described by this language. Every individual constant can be regarded as a $0$-place function constant. For example, the language of field theory contains the two individual constants 0 and 1, while the language of projective geometry contains no individual constants at all.

#### Comments

#### References

[a1] | J.L. Bell, M. Machover, "A course in mathematical logic" , North-Holland (1977) |

**How to Cite This Entry:**

Individual constant.

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

This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article