ゲーデルの不完全性定理
Use in proving Gödel's incompleteness theorems.