V. Gödel , sörml . , och J.