哥德尔妻子全名叫什么英文