_ (5/5記:連休二日目。ものすごい勢いで睡眠を(中略)それはさておき、また少しずつキューネン「集合論」の邦訳を読み進めているのだが、ついに有名な「連続体仮説のZFC公理系からの独立性」の証明にたどり着いた。ついでに以前聞いた「実数体の濃度は、明らかにおかしなものを除けばおおよそどんな大きさであってもZFC公理系と矛盾しない」(←大意)という結果も述べられていた。まだ「理解した」と言える状態ではないけれども、ともあれ感慨深い。)
最近のツッコミ↓