2023-06-07

数学基礎論

【1+1=2】証明は難しい?「ペアノの公理を “ドミノ” で理解する。」

1+1 という式の答えは、誰しも 2 と答えるでしょう。今回は、1+1=2 は「成り立つか確認すべきもの」であるという立場で、証明の雰囲気だけでも感じましょう。この計算は最も簡単が故に問題として「証明せよ」と言われると困ってしまいますね。