>>20
ある集まりが「数学的帰納法が成り立つ集まり」であることを
どうやって確かめるのか