ラムダ記法＋適用：$`\quad (\lambda x\in X. P(x))(a) \equiv (P(x) \mid x = a)`$証明可能性：$`\quad \vdash_S (P(x) \mid x = a)`$エミュレーション：$`\quad \vdash_T \sigma(\ulcorner p \urcorner, a) \iff \vdash_S p(a)`$自己エミュレーション：$`\…