>>609
超限帰納法は関係ないよ
だって、公理(無限公理で与件)だもの(^^;