@kururu_goedel: General topologyがいくら独立命題ばっかりになったとしても、さすがに論理学の一部とは言わないと思うのだけど。それと一緒。2012-06-12 13:37:34 via TweetDeck @kururu_goedel: MSCで集合論が03Eだとかいうのは、むしろそっちが実情にそ…