Assertion: quantifier | /r/UsedFor | example
Facets:
Source sentences:
text: For example, in arithmetic, quantifiers allow one to say that the natural numbers go on forever, by writing that "for each natural number n, there exists some natural number m that is bigger than n"; this can be written formally as "∀n∈ℕ. ∃m∈ℕ. m>n".
text: For example, in arithmetic, quantifiers allow one to say that the natural numbers go on forever, by writing that "for each natural number n, there exists some natural number m that is bigger than n"; this can be written formally as "∀n∈ℕ. ∃m∈ℕ. m>n".