中并没有明确地陈述这点，这便是“以此类推”一词不能被形式地解释的根本原因。这个新命题为真，因为5是自然数，而当把5代入formula_5时，可以得到formula_10。尽管"大多数"自然数formula_5都不满足formula_6，但存在至少一个解足以举证存在命题为真。反之，“存在偶数formula_5，formula_6”为假，因为一个偶数解也不存在。然而，“存在奇数formula_5，formula_6”为真，因为5是奇数。这演示了论域的重要性——确定变量n的取值范围。限制存在量化的论域要使