>>938 はあ？
グロタンディーク宇宙の公理を満たすモデルが
存在するかなんて分からんけど
グロタンディーク宇宙の公理を仮定することで
abc予想がもし証明できればすごい業績だろ

逆にリーマン予想はどうせ正しいだろうけど
リーマン予想を公理にしてリーマン予想を
証明しても全く無意味だろ