現在２０２０年３月６日２０時２９分である。
麻友「始めるのが、遅いけど、今日は、何をやってたの？」
- 作者:猛, 大芝
- 発売日: 1987/10/20
- メディア: 単行本
私「前にも話したかも知れないけど、麻友さん達に説明するために、『数学基礎概説』を、復習している。今日は、
『［公理 ２］あらゆる集合の集まりとしての対象はクラスとして存在する』
という本に書いてある公理を、私達の で、証明できるか、やってみた」
若菜「公理というものは、証明できなくて良いのでは、ないですか？」
私「その公理を使っている人より、もっと高い立場に立って見ている場合、例えば私達は、リンク集の『ＮＫとＢＧの要約』にある、NKsummary.pdf と、BGsummary.pdf にある推論規則１４個と、公理２４個以外、認めないという立場に立っているのだから、上の［公理 ２］も、私達の２４個の公理から、導けなかったら、『数学基礎概説』で解説される定理を、私達の定理として、身につけられなくなる」
結弦「そんな恐ろしいこと、いつからやってたの？」
私「『数学基礎概説』の新しいノートで、昨日（３月５日）１１時５４分頃から、ノートに記述がある。目標ははっきりしてたんだけど、ノート２４ページから始まって、２９ページで一度中断、３１ページまで、他のことを書いて、ここまでは、マックで書いていて、２０２０．３．５ １５：３５：３０に停止。家に帰り、パソコンで、昨日の『相対論への招待（その２２）』の投稿。薬は飲んであったので、眠くなるまでと思って、２０２０．３．５ ２３：１０：１４ から、３２ページに書き始め、３３ページに進んだところで、眠くなり、２０２０．３．６ ０：１４：５０ で、『中断』、と書き、停止」
麻友「その段階で、終わってないの？」
私「終わってない。今朝８時５０分に起きて、２０２０．３．６ ９：２０：４２ から、再開。１４時までにマックへ行けば、平日ならビッグマックセットが、６９０円のところ６００円になるというのを、思い出し、１３時２０分頃、家を出る。もう、証明は、ほぼ完成していた。
から始まって、 での証明が、１５行に渡って、あって、
が、証明され、
証明終
」２０２０．３．６ １６：５０：０１
と、終了時刻が書いてある。
どんな小さな定理でも、証明できると、嬉しい。特に、自分が、これだけは、認めていい、と確信しているものだけを使って、証明できたときは、本当に、言葉では言い表せない満足感が、得られる」
麻友「今日、もうそれで、疲れているみたいだから、もう寝たら？」
私「そうだな。じゃあ、『相対論への招待（その２３）』は、取りやめにするか」
若菜・結弦「おやすみなさーい」
麻友「おやすみ」
私「おやすみ」
現在２０２０年３月６日２２時０５分である。おしまい。