現在２０２２年１１月２１日２１時１３分である。（この投稿は、ほぼ２００１文字）
麻友「太郎さん。ああいう、閃きというのは、なが～く考え抜かないと、得られないものなのかしら」
私「昨日の研究ノートの、これだろう。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
『研究ノート５』の、２８３ページ
２０２２．１１．２０ １４：０４：２０「
宝塚の自然数と、第１階の理論の数詞の橋渡し。
は、１つの記号
は、
は、
は、
だが、
は、
は、定義。
も、定義。
は、定義とする。
も、定義。
も、定義となる。
」２０２２．１１．２０ １４：１３：４０
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
（『研究ノート５』２８３～２８４ページ）
麻友「私は、太郎さんの隣で、ずっと（何年も）見ていたから分かる。『現代論理学』
の第Ⅲ章は、『形式的数論』。見ていると、記号 を、使うことを、定義し、次に、
をどう表すかと見ていると、
と定義する。当然、
は、
と定義する。さらに、
は、
となる。太郎さんは、宝塚の自然数を定義した、２０１６年５月頃以来、ずっと、宝塚の自然数だけを、使って、この
みたいなものを、表せないかと、模索してきた。
「そもそも、 と、
という２個の記号、だけで、『現代論理学』では、（０を含む）自然数が、定義できているのに、なぜ、宝塚の自然数では、
と、
と、２つ用意しているのに、１以上の自然数しか、定義できないのか？」
これが、太郎さんの心の中の疑問だった。完全に、その疑問は、燃え尽きたのね」
私「今日は、もう２２時２６分で、寝なければならないので、ここまでとするが、麻友さん達が、
「ブルバキは、確かに論理学から始まっているが、数学やるのに、本当に、論理学から始めなければ、ならないのかな？」
と、退屈しているだろうから、論理学使って、明日、本当に、数学やろう」
若菜「『現代論理学』の第Ⅰ章の途中から、いきなり、第Ⅲ章へ、飛ぶということですか」
私「第Ⅲ章、第Ⅳ章、第Ⅴ章と、この本の最後まで、案内できる」
結弦「冗談でしょ？」
私「大丈夫だ。３人が、燃えていれば、ゲーデルの第一不完全性定理、証明まで、理解できる」
麻友「はやぶさ、宇宙の年齢、特殊相対論、１から始める数学、 の近似値、ベルヌーイ数、キラキラ星変奏曲、ジョルダン標準形、どれも、太郎さんが、誤魔化したことはない。あーっ、太郎さん。数学や物理学やってるときは、本当に、魅力的なのよ。恋愛の話は、なしにしてよ。魅力半減よ！」
私「その言葉、確かにそうなんだろうなあ。しばらく、頑張ってみるよ」
若菜「将来、伝記が書かれるとき、『チャーミングでない一面を除けば、・・・』なんてことに、なっちゃいますよ」
結弦「ああいった話は、デートのときだけに、封印したら、いいんだ」
麻友「そういえば、今年、もう一回、デートしてよ」
私「差し当たって、今晩は、もう寝る。解散」
現在２０２２年１１月２１日２３時０７分である。おしまい。
