>>888
それって良いの？
数学基礎論的に言うと、リーマン予想が、正しいとも正しくないとも
証明できない、つまりZFCと独立という可能性もあるんとちゃうの？
そんな可能性はないの？