>>336
文章を記号の並びと見たときは1番目2番目の区別が付く
それは文章をメタレベルで見て初めて可能となる芸当
文章の表す理論そのものに記号の並びという概念は用意されていない
理論内部に記号の並びに相当する仕組み(a, b) = (c, d) ⇔ a = c ∧ b = d
を実装するための定義式が(a, b) := {{a}, {a, b}}