>
> お前の言う「敗北主義」の定義は公理主義が制定されていることを前提としていて普遍的ではなく、個人攻撃のために定めたもののように見える
> 仮にそこから公理主義の前提を除くと、カントールが連続体仮説に生涯を費やす所に独立という結論を持ち寄ったコーエンは「敗北主義」となるから、ダブルスタンダードを回避するためなのかもしれないが

全く理解力がないね

公理系における公理と目される命題の独立性は無矛盾性と共にメタ理論的な問題だ
メタ理論的な問題としての公理の独立性の重要性はメタ理論をやっている以上は避けて通れないし
これを証明することはメタ理論の研究における建設的な態度だ

だがリーマン仮説は何かの公理系の公理と目されるような種類の命題ではなく
例えばしばらく前に証明された楕円曲線論における谷山予想などと同じく通常の（メタでない）数学として
興味を持たれ価値を有する命題だ

だからそういう普通の数学（対象レベルの数学）における価値を有する命題を独立性とか言い出すのは
対象レベルの数学での解決を避けて、メタ理論つまりメタ数学（数学基礎論）に逃避していると言っているのだよ

君がメタ数学と通常の（対象レベルの）数学との違いの存在を理解できないならば、これ以上の議論は無意味だ