"What Gödel could show is using classical mathematical semantics you run into contradictions, and because Gödel strongly believed in these semantics... he was shocked. It... shook his world to the core, because in some sense he felt that the world has to be implemented in classical mathematics."