=== ∈\in∈ ¬\neg¬ →\to→ ∀\forall∀ v1v_1v1 v2v_2v2 v3v_3v3 …\ldots… を 原始言語で用いる記号 とする。
続けて v4v_4v4 v5v_5v5 v6v_6v6 …\ldots… も原始言語で用いる変数記号とする。