@kururu_goedel: なんの脈絡もなくいきなり停電になってびびった。10分くらいで復旧したけど。2011-05-13 13:48:39 via TweetDeck @kururu_goedel: @hyuki それで構いません。完全性と健全性により、無矛盾であることとモデルが存在することは同値なので。20…