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

現在２０２２年１２月１４日２０時３７分である。（この投稿は、ほぼ１２４６文字） ノート 形式的数論 ノート 麻友「太郎さんの、『現代論理学』のノート、他のは A4 なのに、それだけ、B5 なのね」私「開いて、見てごらん」麻友「砂、被ったみたい。最初の…

現在２０２２年１２月８日２２時０３分である。（この投稿は、ほぼ３１３６文字）麻友「今日も、まだ、鬱から抜け出せないの？」私「どうしても、本調子になれない」若菜「宝塚の自然数の乗法の定義は、何度か、変えたのですよね」私「そう。一応、どう決着…