KnowraFree variableLinked fromLinked fromThe 15 pages that link to Free variable, each with the reason it gives.All 15Broader topic 2Related 7Compared with 6First-order logicRelated: A formula with free variables depends on assignments to those variables.Lambda calculusRelated: Free variables determine which substitutions must avoid accidental capture.Axiom schemaRelated: Restrictions on free variables can determine which substitutions preserve an axiom instance.Axiom schema of specificationRelated: A schema instance may use a formula with parameters, whose values remain fixed.Prenex normal formRelated: Renaming variables prevents outward moves from capturing free occurrences.Free Will TheoremRelated: The theorem assumes experimenters’ settings are not determined by the particles’ prior state.Rouché–Capelli theoremRelated: Each free variable contributes one dimension to the solution set.