维基百科说，目前已知的最大质数是 2^82589933 - 1
忘记在哪里曾经看人讨论过什么叫做“已知的最大质数”
如果规定要是 canonical form （如：十进制表示法）的话还好说
不过上面的例子也没有把它的十进制表示写出来
有人可能会说，已知的最大质数是目前有明确定义的最大质数
不过这个方法行不通，举个例子，考虑以下的定义：
“比 2^82589933 - 1 大的最小质数”
显然这个定义是 well-defined 且唯一
而且是比 2^82589933 - 1 还要大的质数
有人可能会说，把 2^82589933 - 1 化为十进制只是想不想的问题而已
“已知”必须是能够用明确的方法算出来的
这个方法也行不通，因为实际上
“比 2^82589933 - 1 大的最小质数”是有明确的方法算出来的
你只要从 2^82589933 开始一个一个检查是不是质数就好
显然是有算法能作到这件事
一个比较好的解释是：有些运算是被允许的
如果只有加减乘除次方等比较“简单”的运算，那就能算是已知
其中能被写出来的、已经确定是质数中最大的那一个就是“已知的最大质数”