1から始める数学

数字の1を定義するところから始めて現代数学を築きます。ブログの先頭に戻りたいときは、表題のロゴをクリックして下さい。

2022-12-15から1日間の記事一覧

現代論理学(その43)

現在2022年12月15日11時26分である。麻友「もうちょっと、第Ⅲ章を、見せてよ」私「もちろん、そのつもりだ」 親切 第一不完全性定理 親切 若菜「1+1が、2だ。ということにも、証明が付いてるとか」私「その話を、しよう。まず、昨日の公理。…