Variable (mathematics)

Definition

In mathematics, a variable is a symbol, typically a letter, that refers to an unspecified mathematical object. One says colloquially that the variable represents or denotes the object, and that any valid candidate for the object is the value of the variable. The values a variable can take are usually of the same kind, often numbers. More specifically, the values involved may form a set, such as the set of real numbers.

Related concepts

Abstract logic Ackermann set theory Aleph number Algebraic logic Alphabet (formal languages)Ancient Egyptian mathematics Angle measure Antiderivative Argument Argument of a function Arithmetica Arity Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Axiom Axiom of choice Axiom schema Axiomatic system Axiomatization of Boolean algebras Babylonian mathematics Banach–Tarski paradox Bijection Binary operation Boltzmann constant Boolean algebra Boolean algebras canonically defined Boolean function Brahmagupta Brāhmasphuṭasiddhānta Calculus Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinality Carl Benjamin Cartesian coordinate system Cartesian coordinates Cartesian product Categorical theory Category (mathematics)Category of sets Category theory Church encoding Church–Turing thesis Class (set theory)Classical logic Codomain Coefficient Compactness theorem Complement (set theory)Complete theory Complex number Computability theory Computable function Computable set Computably enumerable set Computer science Concrete category Conservative extension Consistency Constant (mathematics)Constant function Constant of integration Constant term Constructible universe Construction of the real numbers Constructive set theory Continuous function Continuum hypothesis Coordinate space Correlation coefficient Countable set Cubic equation Decidability (logic)Decision problem Deductive system Degree of a polynomial Dependent and independent variables Diagram (mathematical logic)Differentiable function Diophantus Distributivity Domain of a function Dover Publications E (mathematical constant)Early modern period Eigenvalue Element (mathematics)Elementary diagram Elementary equivalence Elementary function arithmetic Empty set Encyclopedia of Mathematics Enumeration Equality (mathematics)Equation Equiconsistency Equivalence relation Eric W. Weisstein Euclid Euclid's Elements Euclidean geometry Existential quantification Exponentiation Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Field (mathematics)Finitary relation Finite-valued logic Finite model theory Finite set First-order logic Fixed-point logic Fluent (mathematics)Forcing (mathematics)Formal grammar Formal language Formal power series Formal proof Formal semantics (logic)Formal system Formation rule Foundations of geometry Foundations of mathematics François Viète Frederic Fitch Free logic Free variables and bound variables Function (mathematics)Function of a real variable Functional predicate Fuzzy set General set theory Geometry Gottfried Wilhelm Leibniz Greek alphabet Greek geometric algebra Greek letter Greek mathematics Grothendieck universe Ground expression Ground formula Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Halting problem Hereditary set Higher-order logic Hilbert's axioms Hilbert system History of Alexandria History of algebra History of logic History of mathematical logic History of mathematical notation Identity element Image (mathematics)Inaccessible cardinal Independence (mathematical logic)Indeterminate (variable)Indexed family Inequality (mathematics)Inference Infinite-valued logic Infinite set Infinitesimal Infinitesimal calculus Information theory Inhabited set Injective function Integers International Organization for Standardization Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Isaac Newton Isomorphism Jaroslav Peregrin Karl Menger Karl Weierstrass Kolmogorov complexity Kripke's theory of truth Kripke–Platek set theory Lambda calculus Large cardinal Latin alphabet Latin language Lemma (mathematics)Leonhard Euler Limit (mathematics)Lindström's theorem List of Hilbert systems List of axioms List of first-order theories List of formal systems List of mathematical theories List of set identities and relations List of statements independent of ZFC Logic Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical truth Logicism Löwenheim–Skolem theorem Many-valued logic Map (mathematics)Material conditional Mathematical expression Mathematical logic Mathematical object Mathematical symbol Mathematics Matrix (mathematics)Mean Mechanics Metalanguage Minimal axioms for Boolean algebra Model complete theory Model theory Moduli spaces Monadic predicate calculus Monadic second-order logic Morse–Kelley set theory Moscow Mathematical Papyrus NP (complexity)Naive set theory Naming conventions Natural deduction Negation New Foundations Non-Euclidean geometry Non-logical symbol Non-standard model Non-standard model of arithmetic Normal distribution North-Holland Publishing Company Observable variable Open formula Operation (mathematics)Ordinal analysis Ordinal number P (complexity)P versus NP problem Parabola Paradoxes of set theory Parameter Partial application Partition of a set Peano axioms Philosophy of mathematics Physical constant Physical quantity Physics Pi Polynomial Polynomial function Polynomial ring Polynomials Power series Power set Predicate (mathematical logic)Predicate logic Predicate variable Pressure Prime model Prime number Prime power Primitive recursive arithmetic Primitive recursive function Principia Mathematica Probability Probability theory Projection (mathematics)Proof of impossibility Proof theory Proposition Propositional calculus Propositional formula Propositional variable Quadratic equation Quadratic function Quantifier (logic)Quantifier rank Quartic function Quotient Radius Random variable Real number Real numbers Recursion Recursive set Relation (mathematics)Remainder René Descartes Reverse mathematics Rhind Mathematical Papyrus Robert Feys Robinson arithmetic Rule of inference Russell's paradox Satisfiability Saturated model Schröder–Bernstein theorem Scientific American Second-order arithmetic Second-order logic Self-verifying theories Semantic theory of truth Semantics Semantics of logic Sentence (mathematical logic)Sequence Sequent calculus Series (mathematics)Set (mathematics)Set theory Signature (logic)Singleton (mathematics)Skolem arithmetic Soundness Space (mathematics)Spectrum of a sentence Spectrum of a theory Springer-Verlag Springer Publishing Square of opposition Standard deviation Statistics Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Substitution (logic)Substructure (mathematics)Supertask Surjective function Syllogism Symbol (formal)Syncopated algebra Syntax (logic)T-schema Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Temperature Term (logic)Term logic Theorem Theories of truth Theory (mathematical logic)Three-valued logic Time Timeline of mathematical logic Tom Sorell Transfer principle Transitive set True arithmetic Truth predicate Truth table Truth value Turing machine Type (model theory)Type theory Ultrafilter (set theory)Ultraproduct Uncountable set Undecidable problem Uninterpreted function Union (set theory)Uniqueness quantification Unit vectors Universal quantification Universal set Universe (mathematics)Unknown (mathematics)Urelement Validity (logic)Value (mathematics)Variable (computer science)Variable and attribute (research)Vector (mathematics and physics)Venn diagram Von Neumann universe Von Neumann–Bernays–Gödel set theory Well-formed formula Wiley (publisher)Willard Van Orman Quine Zermelo–Fraenkel set theory

150 concepts already in your glossary