以前某スレにFeferman（証明論の80代の先生）の
講義スライドをソースに挙げてIUTT-IVの基礎論部分のここ間違ってるねと書いて
こないだこのスレに、もう直されてるよと書いたものだけど、
上で基礎論の事ぐだぐだ言ってる奴は素人が半分荒らしみたいな感じで書いてるだけだからね
誰が正しい事書いてるかは自分できちんと判断してね

一応今のIUTT-IVの論文にはFefermanの論文が参考文献になってて
クラスがどうとか書いてるけど、この論文読むのに基礎論の知識は皆無で良いと思う
だいたい望月先生自身があまり知識無さそう