順序数とか超限帰納法ってなんか役に立つの? | みんなの掲示板 Talk (トーク)