形式的体系の言語Lの変数記号のリストは
a_0,a_1,a_2,...,a_n,...
である。

として一旦は定めてから、
　　以後、見やすさの都合上変数記号としてx、y、ｚ、u、、、等も使って良いとする
と断っていくスタイルの方がすんげぇ頭の中にスルッと入ってくる