In semantics and mathematical logic, a quantifier is a way that an argument claims that an object with a certain property exists or that no object with a certain property exists.