現在2013年9月3日21時35分である。
ブルバキは、特殊記号のことに触れたところまでだった。
次は、記号の列についての定義である。
における記号列とは、の記号を一列に並べて書いたものであり、文字以外の或る種の記号を二つずつ、その列の上を走る鎖とよばれる線で結ぶこともある。
*たとえば、∈を特殊記号としてもつ集合論においては、
┌──────────┐
│ ┌─────┐ │
∨¬∈A’∈A’’
は一つの記号列である。*
今日はここで止める。上で、*・・・*となっている部分は、今は分からないかも知れないが、後にきちんと定義する内容である。
罫線がきちんと書けなかったので、見にくくなって申し訳ない。とを結んでいる線のつもりである。
それでは、今日はここまで。
現在2013年9月3日23時00分である。おしまい。