对基础数学问题的探索诞生了计算机科学

在其他学科中拥有多种观点并不少见。例如，文学因其能够对同一事物有多种解释而受到称赞，甚至物理定律也会随着时间的推移而被修改。但是对数学来说，这是行不通的，二加二等于四的事实永远不会被修改和改变。

他提出了一个雄心勃勃的计划：将所有数学公理化。希尔伯特认为，如果我们把数学当作一个形式系统，那么对于什么是允许的和不允许的，就不会有更多的分歧。

希尔伯特想要做一些类似的事情，来找到可以建立形式系统的基本公理，这将消除关于什么是允许和不允许的任何分歧。首先，希尔伯特考虑了在数学基础系统中三个主要内容，即一致性、完整性和可判定性。