それで、強到達不可能基数の存在が保証されていないと
グロタン数学にとって何が不都合なのでせう？
そういえば、どこかで、ワイルズのフェルマー予想の証明のどこに
強到達不可能基数の存在が仮定されているのかという質問を見たことが。。。