@kururu_goedel: @ytb_at_twt さようで。2011-08-13 11:18:50 via TweetDeck to @ytb_at_twt @kururu_goedel: あー、集合論における「存在する」が本当のところどういう意味か、その文脈で冪集合の公理が正当なものか、というのは真っ当な問いだと思いますよ…