哥德尔宇宙模型是四维模型吗