>>583
巨大基数公理から2^N0=N2が出る
Nはアレフね