sentences:  One is that it is always possible to find a number of things that surpasses any given number, even if there are not actually such things.The other is that we may quantify over infinite sets without restriction.For example, formula_1, which reads, "for any integer n, there exists an integer m > n such that P(m)".