@kururu_goedel: Hajnalの主だった業績を思い出せない自分が情けないので寝ます。2011-06-02 14:00:58 via TweetDeck @kururu_goedel: @nayuta87 「押し込む」の定義にも依りますが、普通の数学はほぼ全て公理的集合論の中で展開できるので、わざわざブール…