1900年，巴黎国际数学家大会上，希尔伯特问：
第1，可判定性问题 是否存在一个算法能够判定任何数学命题的真伪？
命题 （Proposition）是一个陈述语句（即陈述事实的语句），它或真或假，但不能既真又假。
1】，注意，“任何数学命题” 是包含了所有的数学命题，而数学命题相当多是“主项为全称判断”的命题，全称判断命题的主项只能是单独概念和普遍概念，普遍概念是依据词项的属性定义的。
普遍概念，普遍概念反映的是一個對象以上的概念，反映的是一個“类”，這個詞項的內涵由為了包含在詞項外延所必須具有的事物的性質組成。
就是说，普遍概念的每一个个体必然具有这个概念的基本属性。例如：工人，無論“石油工人”，“鋼鐵工人”，還是“中國工人”，“德國工人”，它們必然地具有“工人”的基本屬性。
數學中的普遍概念有例如“素數”，“合數”，等。“素數無窮多”就是一個普遍概念的命題。
2】， 什么是算法呢？ 粗略且顾名思义地讲， 算法就是 (通过有限多的步骤) 对数学函数进行有效计算的方法。 反过来说， 如果一个数学问题能够通过可以有效计算的数学函数得到答案， 那么我们就称这一数学问题存在算法。算法的本质就是计算，例如 加-减-乘-除-开方等
组合的各种方法（求最大公约数-求方根开方法-求素数的埃拉特斯尼筛法等）。
3】，算出来的结果可以
第1，可判定性问题 是否存在一个算法能够判定任何数学命题的真伪？
命题 （Proposition）是一个陈述语句（即陈述事实的语句），它或真或假，但不能既真又假。
1】，注意，“任何数学命题” 是包含了所有的数学命题，而数学命题相当多是“主项为全称判断”的命题，全称判断命题的主项只能是单独概念和普遍概念，普遍概念是依据词项的属性定义的。
普遍概念，普遍概念反映的是一個對象以上的概念，反映的是一個“类”，這個詞項的內涵由為了包含在詞項外延所必須具有的事物的性質組成。
就是说，普遍概念的每一个个体必然具有这个概念的基本属性。例如：工人，無論“石油工人”，“鋼鐵工人”，還是“中國工人”，“德國工人”，它們必然地具有“工人”的基本屬性。
數學中的普遍概念有例如“素數”，“合數”，等。“素數無窮多”就是一個普遍概念的命題。
2】， 什么是算法呢？ 粗略且顾名思义地讲， 算法就是 (通过有限多的步骤) 对数学函数进行有效计算的方法。 反过来说， 如果一个数学问题能够通过可以有效计算的数学函数得到答案， 那么我们就称这一数学问题存在算法。算法的本质就是计算，例如 加-减-乘-除-开方等
组合的各种方法（求最大公约数-求方根开方法-求素数的埃拉特斯尼筛法等）。
3】，算出来的结果可以