>>133
だろうね
細かいこと(人によってはつまらないようなミス)もこの8年間で望月さんはコツコツ修正していたが、何故かZFC公理系の公理が9個であるという記述は修正していないし、ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
こういう本当はよく分かってないのに書き続けてしまう性格が補題3.12の証明に繋がってそう