What Gödel’s Incompleteness Result Does and Does Not Show