Kurt Gödel, lógico y matemático austríaco, basándose como Poincaré y Elias en la Relatividad de Einstein, dio un paso más allá en 1949.