 \(\exists_{\geq n}\) is read: “at least \(n\) objects” and \(\exists !_{n}\) is read: “exactly \(n\) objects.” Both quantifiers are definable in terms of a standard quantifier against the background of classical quantificational logic.