>>73
自然数全体を「数学的帰納法の成り立つ集まり」としてしまうならば
有限集合の定義>>20によって、自然数全体は有限集合だと
そういうことになるわけだ

分かったか