現在２０２２年１２月１４日２０時３７分である。（この投稿は、ほぼ１２４６文字）
ノート
麻友「太郎さんの、『現代論理学』のノート、他のは A4 なのに、それだけ、B5 なのね」
私「開いて、見てごらん」
麻友「砂、被ったみたい。最初の１０ページくらい、字が変だわ。§２８のところに、 」１９９９．２．２７ って」
私「それだけじゃ、分からないよな。１９９９年の２月末って、家出した日なんだ」
結弦「あっ、あの乞食同然で、勉強してた日。働くことより、数学の勉強する方が、大切だ。と周囲に分からせたときなんだな」
若菜「第Ⅱ章の終わりから、第Ⅲ章の出だしを、勉強している。仕事を、どうしようかとか、迷いはなかったのですか？」
私「そんな、迷いを持つ人間なら、家出なんかしてない」
若菜「そっかー」
私「第Ⅱ章の終わりで、赤ペンで、正規モデルとある。後で、学習することになる、重要な概念だ」
形式的数論
麻友「第Ⅲ章 形式的数論 ビッシリ書いてある」
私「重要なのは、公理だ。
４ の固有公理
の固有公理は次のとおりである。
を
の任意の論理式とするとき、
の、９つが、形式的数論 で、活躍する」
若菜「なんか、お父さんが、宝塚の自然数でやってたのに、似てますね」
私「微妙に違うところが、問題だ」
麻友「もう、２２時００分だし、明日以降に、しましょう」
私「これを書いていて、遠回りだが、第Ⅰ章や、第Ⅱ章を、やっておかないと、分からないかな？ と、思い出した」
若菜「じゃあ、やれば良いでしょう。この本に関して、時間制限は、ないのですから」
私「そう言ってもらえると、嬉しいな。じゃあ、おやすみ」
若菜・結弦「おやすみなさーい」
麻友「おやすみ」
現在２０２２年１２月１４日２２時０４分である。おしまい。
