这样一种确定的方法，在理论上可适用于任何假设，并且能够保证对无论是否正确的假设都能给出一个正确的结果”（Hodeges，p. 91）。希尔伯特相信“在数学上没有‘ignorabimus’”，亦即“我们将无从得之”。需要了解更多信息请参见大衞·希尔伯特和停机问题。