>>85
>ZFCUとか公理系の話してんのに新しい推論規則言ってるのが何とも

そうそう
同意です

公理系の公理を分類すると
1．推論規則関連
2．無限公理関連
3．選択公理関連
4．連続体仮説関連
5．クラスや型の扱い（含む圏論関連）
6．宇宙（到達不能基数）（含む圏論関連）
7．述語の階数（1階か2階かそれ以上か）

などなど
他にもあると思うけど
唐突に”新しい推論規則”に飛躍するのは、なんだかな
いまのIUTの議論で、”新しい推論規則”？

望月氏は、従来の遠アーベルを圏論化したくらいしか言っていないよね
なんか、話がぶっ飛んでいる気がする、数理論理君の話

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

ZFCより強い仮定とは、ZFCG つまり”We shall refer to a ZFC-model that also satisfies this additional axiom of the
Grothendieck school as a ZFCG-model.”（>>78 IUT IVの P78）
と、望月氏は書いているんだがね
どっから、「通常数学では用いない以下のような推論規則を導入する」へ、話が飛躍しているんだろうか？