2011年06月30日のツイート
@kururu_goedel: うわ、よく見たら集中講義の課題とか書いてあるじゃないか。ごめんなさい。
@kururu_goedel: っていうか、なんでこの人は公理的集合論に触れて一週間で可測基数のことなんかやっているんだ?
@kururu_goedel: @kururu_goedel URL I\∪{X_α:α<δ}=∩{I\X_α:α<δ}∈U。これは∪{X_α:α<δ}∈Uという仮定に反する
@kururu_goedel: URL Yahoo知恵袋のやつ。全てのαに対してX_αがUに属さないなら、Uがultrafilterであることにより、I\X_αはUに属する。κ-完備性より∩{I\X_α:α<δ}∈U。