@kururu_goedel: 『数学基礎論』届いた。URL2011-06-22 20:53:51 via TweetDeck @kururu_goedel: @ttmtko 証明図っぽい面もあるのですが、箇条書きなどに比べて適当な思い付きをぶら下げてもあまり気にならないというのがでかそうです。そういうのを思い出す…