黎曼猜想是一个二阶逻辑问题,无法得到完整证明。 黎曼猜想:所有的 “零点” 是一个集合,零点是这个对象上的函数,按照通常数学中定义,一个n元函数就是从论域A的个体的所有n元组的集合至A的一个映射。当用“所有个体”“存在个体”,量词加在论域的个体上,称为一阶量词。 ” 所有函数”,“ 黎曼猜想:所有的A(零点)成立的充分必要条件是包含在A中的B(实部1/2上)的成立。