>>64
まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね
しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ
ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな
そこから眉唾ものの話