塔斯基悖论。在《初等代数和几何的一个判定方法》一文中，塔斯基运用量词消去法证明只有加法和乘法的实数一阶理论是可判定的。（虽然塔斯基迟至1948年才发表这个结论，但他早在1930年即完成证明并在1931年的一篇论文中提到。）这个结论之所以有趣，在于阿隆佐·邱奇在1936年证明了一阶逻辑中的真命题是不可判定的。1953年塔斯基和他的合作者们一起在《不可判定理论》一书中证明了很多数学公理系统（包括：格论、射影几何、内部代数、群论）是不可判定的。1941年，塔斯基发表了一篇关于二元关系的重要论文，开启了他对