現在２０２４年１月１９日１１時４２分である。
麻友「５時３６分から、ずっと書いているの？」
私「麻友さん相手なら、さもありなんだが、今日の場合、５時３６分に起きて、前橋さんの無伴奏バッハで、気合い入れようかと、Spotify で、聴きながら、２つ『他ブログ更新情報』を、書くが、６時半くらいには眠くなって、寝ている。その後、７時頃、扉を叩く音がしたようで、７時１分頃、起きる。『ハイッ』と言ってみるが、反応がない。『人が来るなら、インターホンを鳴らすよな』と思って、起きる。もう時間が経っていて、無伴奏は、終わって、パールマンの、ブラームスのヴァイオリン協奏曲が流れているが、何かニュースがあるのか？ と、７時のニュースを、点けてみる。（当然、パソコンから、音を飛ばして、スピーカーで、聴いていたのが、自動的にアンプが判断し、ブラームスの方から、ブルーレイのニュースの音に、切り替わる）」
若菜「それで？」
私「眠くなり、７時９分に、寝る。たっぷり寝て、１１時に目覚めると、なんか、のんびりした、古い日本語の詩が、聞こえる。『歌会か？』と、起きて行ってみると、確かにそう。天皇陛下（考えないでも、ここに、陛下と、つけてしまうのは、やっぱり日本人だから、なのだが）とか、いるし、どっかの県の代表もいるし、でも、和歌なんて、それなりに、勉強しなければ、作れないし、才能もいるよな。などと、思いつつ、さっき止めたブラームスに戻し、このブログを、書き始めたというわけなのだ」
bourbakiandlandau.hatenablog.com
私「この投稿は、もちろん、１５枚のスキャン原稿の前哨戦である。私が、何に、拘っているか？」
私「ブルバキ『数学原論』が、数学を、独特の書き方で、書いている。それは、私達の普通の数学と、同値なのか？ ということ」
私「１５枚のスキャンしたノートでは、差し当たって、ルカシェビッチの公理の、２番目を、ブルバキの公理で、証明できるかどうかを問題にしている。その前哨戦なのである」
27182818284590452.hatenablog.com
私「ルカシェビッチの公理とは、このときのもので、 を、問題にしている」
27182818284590452.hatenablog.com
引用しておくと、
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
ところで、
が、 で、証明できることの証明は、それほど易しくないので、以下に証明しておこう。
まず、方針を示す。
(1)以下の つの論理式は、
の定理である(つまり、仮定のすべてが落ちている、演繹図の結論になっている)ことを、証明する。
(2)次に、そのことを仮定した上で、以下の論理式、
が、 の定理であることを、証明する。
(3)最後に、 の定理となった、
を用いて、
の定理
と、なるので、 の定理は、仮定がすべて落ちている演繹図の結論であるから、
が、証明されたことになる。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
（『ＮＪについての書き直し（その２）』より）
私「『キラキラ星変奏曲（その１３）』のときの、リターンマッチなのである」
私「それでは、今回の投稿は、上と同じだが、これです。どうぞ」
bourbakiandlandau.hatenablog.com
現在２０２４年１月１９日１４時４７分である。おしまい。
