>>766
はい
望月氏はZFCGがZFCの保存拡大であるとか（修正済み）
ZFの公理が９つであるとか書いてしまう人ですから
形式主義を理解していないと思います
論文中ではset theoretic formulaのZFCにおける解釈を
氏が無制限に行っているように見えます
IUT論文IVの第3章は数論の予備知識なしに読めますから
一度ご覧になったらいかがでしょうか？