象が転んだ

たかがブロク、されどブロク

加法の交換法則〜2+3=3+2は、果たして当たり前と言えるのか?

2021年09月11日 12時41分01秒 | 数学のお話
 「数の基本」では、”2+3=3+2”という当たり前の命題を数学的帰納法で証明しました。 しかしこれには厳密には不足の部分があり、完璧な証明が「数の概念」の第1章に書かれてました。 そこで今日は、”加法に関する交換法則”を厳密な形で証明しようと思います。 サイトでは、いろんな証明の仕方が紹介されてますが、どれも完璧とまでは言えません。 先日の「数の基 . . . 本文を読む