@kururu_goedel: URL 完全性定理使わなくても超べきで超準解析できるじゃんと思ったけど、超べきで完全性定理を証明できるから、必要なだけの完全性定理を証明しているのだともいえるかもしれない。2012-05-10 13:35:49 via TweetDeck