Email Record: Gödel's incompleteness theorem /