Kurt Gödel fait son entrée dans la SEP