与阿尔弗雷德·塔斯基（Alfred Tarski）。哥德尔，以不完全性定理震撼了二十世纪的逻辑学界，于1978年1月14日离世；而塔斯基，模型论与形式语义学的 ...