現在２０２３年９月４日２２時１１分である。（この投稿は、ほぼ１８７０文字）
麻友「ツォルンの補題は？」
私「９月３日の日曜日に、少し水をかけてしまったのが、原因のようで、ディスプレイの明るさが、全開になるように、信号が出続けていて、パソコンの調子が、悪かった。その影響が、段々広がっていた。またもうひとつ、私は、スマホをパソコンで充電しているのだが、ケーブルの端子が接触不良を起こしていて、充電したり、止まったりを繰り返していて、パソコンに、悪影響を与えていた。そして、今日（９月４日）もうまともにインターネットが、できないほどになった」
麻友「修理に出すの？」
私「なんとか、そういう手段を使わずに、解決したかった」
若菜「水かけたのが原因だったら、キーボードを、ヒューレット・パッカードに送ってもらったら？」
私「５年前のモデルだから、送ってくれるかどうか、怪しい」
麻友「太郎さん、５年前に、VAIOのパソコンのキーボードが壊れたとき、ひとつ買ったんじゃなかったっけ？」
私「そう。それを思い出して、５年前のキーボードを、つないでみた」
結弦「上手く行った？」
私「今のところ、大丈夫そう。でも、今回のことで分かるとおり、５年前のこのパソコンも、寿命が近付いている」
麻友「お金があったときは、パソコンを２台持っていたりしたけど、今は、そうは行かないわね」
私「パソコンのない生活は、考えられなくなっている。でも、パソコンに向かっている時間を、全部、数学に向けたら、今の何倍も、数学が進むかも知れないなあ」
若菜「それは、本当じゃありません？ お父さん、ブログを書くのに、大量の時間を使ってますもの」
ここまで、昨日書いて、眠くなって寝た。
現在２０２３年９月５日２２時４７分である。
麻友「最初の２行読んだだけでも、ツォルンの補題の証明は、分からないわよ」
私「確かにこの証明は、恐らくこの本の、一番難しい証明だろう。私は、この、
の、集合のところは、全部読んだが、あやふやなのは、これを含む、２，３個だけだった」
若菜「どうして、その一番難しいのを、よりによって、最初にやるのですか？」
私「abc予想の証明を、川上量生さんに説明する、という目標は、今でも持っている。abc予想の証明は、ツォルンの補題とは、比べものにならないほど、難しい。麻友さん達に、ツォルンの補題の証明の仕方を工夫しながら説明することで、abc予想の証明を、説明する手掛かりを得たい」
結弦「僕達は、モルモットか」
麻友「じゃあ、昨日の２行、説明してよ」
定理 ５．１ （ツォルンの補題）
を、帰納的順序集合、
とすれば、
の極大元
で、
となるものが存在する。
定理 ５．１の証明
は
の鎖
とする．
である．定理の仮定によって，
の任意の元
に対して
となる．
麻友「 は、C の花文字だったわね。それが、次の集合だというのね」
私「そう」
若菜「 は？」
私「集合 の、部分集合全体の集合。この場合、
と、なっているだろう。 が、
の部分集合ですよと、言ってるんだ」
結弦「ひとつずつ各個撃破はできるけど、全体として、つかめないなあ」
私「それは、IUTの論文では、５００ページを、総体としてつかむのだから、並大抵の努力では、無理だろうね」
麻友「今日は、もう２３時４１分。寝たら？」
私「そうするか。じゃ、解散」
現在２０２３年９月５日２３時４３分である。おしまい。
