@kururu_goedel: @patho_logic っていうか、数学の厳密さと、現代数理論理学の間にどんな関係があるっていうのだろうと思います。2011-03-07 14:16:54 via TweetDeck to @patho_logic