落とし穴、障壁、困難

メタ変数、メタ論理、メタ数学 とかの奇妙な言葉。メタ変数は実質的に困難をもたらす。

• 変数集合V上を走る変数 x, y 。で、V = {x, y, ... } だったりする。

状況としては、

• 日本語と共通の単語が多くあり、意味が同じだったり違っていたりという外国語があったとする。その外国語を教えるのはけっこう困難。

本来が絵図なものが、テキスト表現されて情報が落ちる困難。これもイイカゲンに厳しい。

メタ変数で表すものが多いので、種類を区別する。

1. 命題： A, B, C, D, P, Q, R, S
2. 命題のリスト： Γ, Δ, Π, Σ、成分は C_i, D_i, P_i, S_i
3. コンテキスト： α、β、γ, δ, εは固有名詞。
4. 集合＝型＝ソート： X, Y, Z
5. システム： S, T, S', S1 など。もうSダブってるし。
6. シーケント／証明図： F, G, H, K

守れる自信はない。ダブらない自信はまったくない。