 In the universal quantification, on the other hand, the natural numbers are mentioned explicitly.This particular example is true, because any natural number could be substituted for "n" and the statement "2·"n" = "n" + "n"" would be true.In contrast,
For all natural numbers "n", 2·"n" > 2 + "n"
is false, because if "n" is substituted with, for instance, 1, the statement "2·1 > 2 + 1" is false.