超限帰納法でいんじゃない