2008-08-28から1日間の記事一覧

背理法によって存在しないことを証明する

最大の自然数が存在しないことを背理法を使って説明してみます。まず最大の自然数をＭとおきます。Ｍ＋１も自然数の定義により自然数であると考えられますが、これはＭが最大の自然数であるという定義と矛盾します。ゆえに最大の自然数は存在しない。次…