維基百科說，目前已知的最大質數是 2^82589933 - 1
忘記在哪裡曾經看人討論過什麼叫做「已知的最大質數」
如果規定要是 canonical form （如：十進位表示法）的話還好說
不過上面的例子也沒有把它的十進位表示寫出來
有人可能會說，已知的最大質數是目前有明確定義的最大質數
不過這個方法行不通，舉個例子，考慮以下的定義：
「比 2^82589933 - 1 大的最小質數」
顯然這個定義是 well-defined 且唯一
而且是比 2^82589933 - 1 還要大的質數
有人可能會說，把 2^82589933 - 1 化為十進制只是想不想的問題而已
「已知」必須是能夠用明確的方法算出來的
這個方法也行不通，因為實際上
「比 2^82589933 - 1 大的最小質數」是有明確的方法算出來的
你只要從 2^82589933 開始一個一個檢查是不是質數就好
顯然是有演算法能作到這件事
一個比較好的解釋是：有些運算是被允許的
如果只有加減乘除次方等比較「簡單」的運算，那就能算是已知
其中能被寫出來的、已經確定是質數中最大的那一個就是「已知的最大質數」