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