現在2023年3月18日9時33分である。(この投稿は、ほぼ2196文字) 麻友「何時に起きたの?」 私「8時50分だ」 麻友「昨日、21時前に、寝る前の薬を飲んだからかしら?」 私「そういう簡単なものではない。実際3時3分にも起きていて、もう一度寝ている」 結弦「無限集合、Aと、Bがあるとき、Aの方がBよりも、元の数が大きく、Bの方もAよりも、元の数が大きいとき、AとBは、同じだけの多さの元を持っている。と言うことを、証明するって、言ってたけど、なんか、当たり前じゃない?」 若菜「AよりもBの方が、元の数が大きいというのは、どう定義するのですか?」 私「もう、想像付くだろう。『Bの部分集合で、Aと全単射な写像が作れる集合が存在すること』だよ」 若菜「そうすると、BよりもAの方が、元の数が大きいというのは、『Aの部分集合で、Bと全単射な写像が作れる集合が存在すること』ですね。論理的に考えて