What Gödel Discovered