>>64-70
うん、そういう議論は賛成だな
IUTが、どういう範囲の公理系で治まっているのか？　ってね

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

これ賛成だな
つまり、加藤本は、大道香具師のように、ちょっと大げさ
望月先生は、IUT IVの後半で、グロタンディーク宇宙の中には収まっているように書いている
つまり、圏論の内部の理論だという主張みたいですね

（参考）
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙

グロタンディーク宇宙と到達不能基数
大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13167316133
rej********さん

2016/11/27 17:07

「大道ヤシ」(だいどうやし？)とはどういう意味なのでしょうか？

「大道芸人」と「香具師」が混ざったような意味ですか？

ベストアンサー
******さん

2016/11/27 17:28

ご推察のように「大道香具師」と思います。
露天商や興行(大道芸)人、その元締め。