0065132人目の素数さん垢版 | 大砲2021/12/10(金) 00:31:53.46ID:xvMmsLBt >>64 まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな そこから眉唾ものの話