>>176
＞ZFCでやるなら到達不能基数は最低でも加えないとダメ。
おかしいな、IU幾何は基礎論的には何もアヤシイことは無いっていう話だったはずだが。
それとも、この程度のことはアヤシイと見なさないってことか。