現在２０２１年７月３日２１時５４分である。（この投稿は、ほぼ３９２文字）麻友「もう遅い時間ね」私「ちょっと、良いことがあったんだ」若菜「どんなことですか？」私「数学をやってみせるというので、選択公理から、ツォルンの補題を証明しているところ…