@kururu_goedel: . @kagami_hr @evinlatie はた迷惑なことに、Woodinは宗旨変えして、今は連続体仮説が成り立つことを示そうとしているらしいです。同僚のWoodinの弟子の話なので多分確かです。2011-04-20 21:19:43 via TweetDeck @kururu_goedel: 例えば、…