@kururu_goedel: いまどきよっぽどのことでない限り、基礎付けはどこかでできているのだから、ちゃんと公理定義定理証明になってなかろうが正確さに影響がでるとは思えないのだけど。2012-09-18 10:19:08 via TweetDeck @kururu_goedel: URL URL 【 その大部…