とある数学科大学生の備忘録

勉強してきたことをなんとなく話すブログ。厳密性は保証できないです。

2020-04-17から1日間の記事一覧

連鎖から数学的帰納法を証明してみた

前回、連鎖という概念、そしてそこから自然数の定義をしました↓ mirukatea.hatenablog.com その続きとして連鎖から数学的帰納法を証明するというのが 今回のテーマとなっています。 証明自体は短いので、じっくり噛みしめながら読んでくださいね。 〇証明全…