附録終了

　現在２００６年１月２４日２時５４分である。

　昨日から今日にかけて、解析入門Ⅰの附録２の命題論理の残りを片付けました。４００ページの下から４行目まで終了です。

　また５ページに戻ることになります。いきなりユークリッド空間などという定義していない言葉が出てきますが、これは３６ページで定義するまでおあずけです。

　今日はここまで。中島みゆきの「いまのきもち」でも聴きながら寝ることにします。

　現在２００６年１月２４日３時００分である。おしまい。