库尔特·哥德尔，1973年。