Gödel's *first* incompleteness theorem