Gödel's incompleteness theorems
Use in proving Gödel's incompleteness theorems.