現在２０２２年４月２日２０時２２分である。（この投稿は、ほぼ８７０文字）
麻友「今日は、マック？」
私「新聞買った後、マックにいた」
若菜「ブルバキを、読んでいたみたいですが」
私「ブルバキの第Ⅰ章の最後に、付録が付いているんだ。「項および論理式の特徴づけ」という見出しが付いているけど、あまり読んだことがなかった。『現代論理学』に移るに当たって、この部分も、カバーできるのかな？ と、３日前から、読み始めていた。丁寧に読んでみると、それほど、難しいことを言っているわけではなくて、この付録の問題は、『現代論理学』の定理を用いて、解けることが、分かった」
若菜「えっ、問題が？ 何番が解けたんです？」
私「付録の問題の、６番と７番と８番」
若菜「７番と、８番は、難問だと、警告が付いているのに」
結弦「どういう問題なの？」
私「『現代論理学』で、『証明』の定義を、３通りすると、言っただろう。そのひとつで、ブルバキのものに一番近い、公理系という方法が、あるんだけど、『現代論理学』では、３個、ブルバキでは、４個の公理を採用する。その３個とか４個とかのものが、他の２個や３個のもので、代用できないかというのが、問題。つまり、３個か４個のものは、必要不可欠ということだね。『現代論理学』に、解き方が、丁寧に書いてあった」
麻友「他の本を読んでみると、答えが書いてあることが、あるのね」
若菜「今日は、時間が経っちゃいましたし、本文は進んでませんが、終わりにしませんか？」
私「申し訳ない。ひとつ見つけたことを、書いて、終わりとする。『現代論理学』では、命題の真を で、偽を
としていた。でも、ブルバキは、その逆の定義をしている。自分の本を書くとき、ほんのちょっとは、他の人と、違うことをしてみよう。というのは、人情だ。私は、今、どっちの定義を採用しているのか、分かるように、書いていこうと、思う」
麻友「じゃ、おやすみ」
若菜・結弦「おやすみなさーい」
私「おやすみ」
現在２０２２年４月２日２２時３８分である。おしまい。
