Однако машина позволит нам проверить гипотезу на любое специальное значение n. Мы могли бы провести такие тесты для последовательности последовательных значений n = 2,3, .. до, скажем, n = 100. Если бы результат хотя бы одного теста был отрицательным, гипотеза оказалась бы ложной; В противном случае наша уверенность в гипотезе увеличится, и мы должны по -прежнему поощрять попытку установить гипотезу вместо того, чтобы пытаться построить контрпример.