Before revision: Gödel's incompleteness theorems
After revision: .Gödel's incompleteness theorems