哥德尔不完备定理
Use in proving Gödel's incompleteness theorems.