>>399 ->400
JDBのコメント

追伸.
デビッド・ロバーツ氏、
強到達不可能な基数と ZFC に関する
私の不正確な表現を指摘していただき、ありがとうございます。
PDF 内の表現を「ZFC には存在しない」から「ZFC ではその存在を証明できない」に変更しました。（ただし、構成主義の観点からは、この 2 つの表現はそれほど違いがないかもしれません）。
また、「IUT が集合論の矛盾（望月氏が「∈-ループ」と呼ぶもの）を回避するために宇宙際的設定を使用していることは議論の余地がない」と書いたとき、 という記述について、「議論の余地がない」とは、その歴史を知っている者なら、
望月がθリンクの仕組みに暗黙的に含まれる∈ループを認識し、それを回避するために理論を宇宙際的なものにしたことを誰も否定しないという意味でした（そのため、私の見解では、ショルツとスティックスの議論は驚くべきことではないのです）。
主にdeepl翻訳