でもまあ考えてみれば、がsupercompactならとかのサイズは(が正則基数なら)丁度になるわけで、べつにココらへんの計算にGCHはいらない。 (Solovayの結果を参照しなさい。あるいは、スパコンのもつ強いstatoinary reflectionによる影響を考えなさい。)てこと…