現在２００６年３月４日２時５６分です。 今日は、解析入門Ⅰの附録２の述語論理のところを証明しながら進めていたのが終わりました。これで本文６ページの命題１．３に戻れます。 明日からは、また通常の数学をやって行かれます。 なんとなく嬉しい。数学基…