さぁ?
オレは望月論文1ミリも読んでないから知らん
オレが言ってるのは「基礎の公理のお陰で公理的集合論は矛盾を回避してる」という誤解してる奴が多いという話