相対性理論を学びたい人のために

まだ一度も相対性理論を勉強したことのない人は、何か一冊相対性理論の本を読みかじってみて、なぜこんなことが?という、疑問を持ってからこのブログに来てください。

記号列

 現在2013年9月3日21時35分である。

 ブルバキは、特殊記号のことに触れたところまでだった。

 次は、記号の列についての定義である。




 における記号列とは、の記号を一列に並べて書いたものであり、文字以外の或る種の記号を二つずつ、その列の上を走るとよばれる線で結ぶこともある。
*たとえば、∈を特殊記号としてもつ集合論においては、

┌──────────┐
│ ┌─────┐   │
 ∨¬∈A’∈A’’

は一つの記号列である。*




 今日はここで止める。上で、*・・・*となっている部分は、今は分からないかも知れないが、後にきちんと定義する内容である。
 罫線がきちんと書けなかったので、見にくくなって申し訳ない。を結んでいる線のつもりである。
 それでは、今日はここまで。

 現在2013年9月3日23時00分である。おしまい。