>>483
違う
通常の数理論理では等号は特別なpredicateとして等号原理を要求する
過去の数学で等号原理を満たさない体型で議論されたものはひとつもない
しかしそれもあくまで“原理”であって絶対そうしなければならないものではない、きちんと言語体型、推論即を設定してそれが普通の数学の保存拡大になってる事を確認した後なら好きにすればいい
望月理論はその過程を全部すっ飛ばして論文アクセプトした後で今になってそんなとぼけた事言い出してるのが問題なんだよ
そんな問題自覚してるならとっとと論文撤回して確認作業に入ればいいのにそれもやらん
アホかと思ってるのが普通の数学者の意見なんだよ