演繹システムの記法など

ラムダ記法＋適用：

$`\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)`$

自己エミュレーション：

$`\quad \vdash_S \sigma(\ulcorner p \urcorner, a) \iff \vdash_S p(a)`$

不完全性定理の記述：

• “実用的で”
• 健全で
• 十全な
• 演繹システムは存在しない。