歓迎会はあびこ「竹宗」．

2.2 可算集合． 数直線上の互いに交わらない開区間の族がたかだか可算族であることを示すのに，各開区間から有理数を選んで，有理数全体が可算であることに帰着させたのだが，説明してかえってわかりにくくなるといけないと思って選択公理にはあえて触れなか…