現在２０１３年９月９日２２時１６分である。 ブルバキの方は、少し脱線してしまったが、本文に戻ろう。 日本語訳で１０ページの下から１０行目からになる。 数学的理論（あるいは単に理論ともいう）とは、ある種の記号列がその理論に属す対象式であるとか関…

現在２０１３年９月８日２３時４０分である。 昨日は、パソコンを１日１回開くというのは守ったが、何も書けなかった。続きを書こうと思う。 日本語訳前文６ページの下から２行目まで引用したのだった。 続きを少し写す。 ｘＲのこのような意味を考えれば、…