Definition:Constant
From ProofWiki
Definition
A constant is a name for an object (usually a number, but the concept has wider applications) which does not change during the context of a logical or mathematical argument.
A constant can be considered as an operator which takes no operands.
Also see
- Proper name (as used, usually, in the context of predicate logic)