相対論への招待（その２３）

　現在２０２０年３月６日２０時２９分である。

麻友「始めるのが、遅いけど、今日は、何をやってたの？」

数学基礎概説 (共立数学講座)

私「前にも話したかも知れないけど、麻友さん達に説明するために、『数学基礎概説』を、復習している。今日は、

『［公理 ２］あらゆる集合の集まりとしての対象はクラスとして存在する』

という本に書いてある公理を、私達の で、証明できるか、やってみた」

若菜「公理というものは、証明できなくて良いのでは、ないですか？」

私「その公理を使っている人より、もっと高い立場に立って見ている場合、例えば私達は、リンク集の『ＮＫとＢＧの要約』にある、NKsummary.pdf と、BGsummary.pdf にある推論規則１４個と、公理２４個以外、認めないという立場に立っているのだから、上の［公理 ２］も、私達の２４個の公理から、導けなかったら、『数学基礎概説』で解説される定理を、私達の定理として、身につけられなくなる」

結弦「そんな恐ろしいこと、いつからやってたの？」

私「『数学基礎概説』の新しいノートで、昨日（３月５日）１１時５４分頃から、ノートに記述がある。目標ははっきりしてたんだけど、ノート２４ページから始まって、２９ページで一度中断、３１ページまで、他のことを書いて、ここまでは、マックで書いていて、２０２０．３．５　１５：３５：３０に停止。家に帰り、パソコンで、昨日の『相対論への招待（その２２）』の投稿。薬は飲んであったので、眠くなるまでと思って、２０２０．３．５　２３：１０：１４　から、３２ページに書き始め、３３ページに進んだところで、眠くなり、２０２０．３．６　０：１４：５０　で、『中断』、と書き、停止」

麻友「その段階で、終わってないの？」

私「終わってない。今朝８時５０分に起きて、２０２０．３．６　９：２０：４２　から、再開。１４時までにマックへ行けば、平日ならビッグマックセットが、６９０円のところ６００円になるというのを、思い出し、１３時２０分頃、家を出る。もう、証明は、ほぼ完成していた。

から始まって、 での証明が、１５行に渡って、あって、

が、証明され、

　　証明終

　　」２０２０．３．６　１６：５０：０１

と、終了時刻が書いてある。

　どんな小さな定理でも、証明できると、嬉しい。特に、自分が、これだけは、認めていい、と確信しているものだけを使って、証明できたときは、本当に、言葉では言い表せない満足感が、得られる」

麻友「今日、もうそれで、疲れているみたいだから、もう寝たら？」

私「そうだな。じゃあ、『相対論への招待（その２３）』は、取りやめにするか」

若菜・結弦「おやすみなさーい」

麻友「おやすみ」

私「おやすみ」

　現在２０２０年３月６日２２時０５分である。おしまい。