Email Record: Gödel's incompleteness theorems /