現在２０２４年１月１８日２１時０９分である。
私「原子力電池の解説に、一所懸命になってて、せっかく書いた原稿を、投稿できなかった。２０２４年１月２日は、本来これを、投稿するはずだった。申し訳ない」
現在２０２４年１月２日５時４４分である。
麻友「早い」
私「今日は、５時１５分に、気持ち良く起きられたんだ」
若菜「じゃあ、ブルバキですか？」
私「そのことなんだが、昨日（２０２４年１月１日）、lettre を、変数と、訳そうと言ったな」
若菜「言ってましたが」
私「辞書を引くと、lettre は、手紙、文字、の訳語はあるが、変数はない。そこで、思い切って、和仏辞典で、変数と、引いてみた。variable だ。そういえば、Fonctions d’une variable réelle を、『実一変数関数』と、訳していた」
結弦「つまり、お父さんの勇み足だったんだな。lettre レター は、文字で、良いんだね」
私「そういうことだ。第Ⅰ章の出だしから行くぞ」
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
1.Signes et assemblages
１．記号と集まり（記号と記号列）
Les signes d'une théorie mathématique sont les suivants:
定冠詞 記号 冠詞（ある） １つの理論 数学の ようなものである。
（訳本）ある一つの数学的理論 で用いる記号にはつぎの三種類のものがある：
＊）Le sens de cette expression se précisera progressivement au cours de ce chapitre.
意味 ～の この 表現 詳しく説明する 徐々に 流れ ～の この 章
（訳本）注＊） この表現の意味は、この章の中で、次第に明らかとなる。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
麻友「前回は、ここで、訳出を諦めたのだった。そして、訳本を、
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
第Ⅰ章 形式的な数学の記述
§1．項と論理式
１．記号 記号列
ある一つの数学的理論 で用いる記号にはつぎの三種類のものがある：
注＊） この表現の意味は、この章の中で、次第に明らかとなる。
１゜論理記号：
．
注＊＊）これらの記号の直観的な意味については、ｎ゜３の注意を参照．
研究者注 これは、今は、余り気にしなくて良い。
２゜文字．
これは，ラテン文字の大文字・小文字，および，それらにいくつかのダッシュをつけたものを意味する．すなわち，等は文字である．そして，本文中のどんな所ででも，それまでの推理の中に用いられていなかった新しい文字を導入することが可能なのである．
３゜特殊記号：これは問題としている個々の理論によって異なる．
《集合論》では，われわれは と、
という二つの特殊記号だけを用いる．
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
と読んで、『文字』としていた。それを、昨日、『変数』の方が、良いのではないかと、言いだしたが、勇み足だったと、自重した」
若菜「自分の間違いを、報告したかったのですね」
結弦「ブルバキは、かなり、ご無沙汰だったけど」
私「『数学原論６』の、ノートに書いたことを、取り敢えずスキャンして、麻友さん達に見せるのに手間取った。訳出は、 からだが、私は、
を、訳本で読んでいる。結弦達も、今やっていることが、どう役立つか、見て欲しい。差し当たって、次の投稿を、待ってくれ。解散」
現在２０２４年１月１８日２１時３２分である。おしまい。
