数学を拡張することによっては到達し得ない可能世界がありうる、という話をどうすれば説得的に言えるのか興味ある（その意味ではイーガンのルミナスや暗黒整数は成功していないと思う）ので読んでみようかな