Maths›03. Logic and Foundations2.2 Quantifiers and ScopeUniversal and existential quantifiers, scope, free variables, bound variables, and variable capture.