最近エントリを書いていない

私用で忙しく…。やっぱり集合論そのものの話をしたいので書きたいのですが。とりあえず8月後半ごろからは通常営業になるかと。