現在２００６年２月２６日２時４４分です。 今日、以前から注文してあった、竹内外史著 ｐｒｏｏｆ ｔｈｅｏｒｙ という本が、残念ながらお届けできませんというメールが、アマゾンシーオージェーピーから来た。 あの本には、２階の述語論理の無矛盾性定理と…