>>52
数学的帰納法で言えるのは任意の自然数nでP(n)だから、可算無限段論法ではなく任意有限段論法