冬休みぐらいにページ作って後悔公開して、批評してもらおうかな･･･とか考えてます。 そんときはこのブログから「も」リンク張るんでよろしくお願いします。 でも後悔公開しないかもしれないです。 未定未来。 予定予測。

論理学をガリガリとやっているんですが、ようやく（？）最終局面として数学（主に算術ですが）の形式の証明に入りました。 そのうちわかるようになるんでしょうが、現在はこんなことをしております。