1930年即完成证明并在1931年的一篇论文中提到。）这个结论之所以有趣，在于阿隆佐·邱奇在1936年证明了一阶逻辑中的真命题是不可判定的。1953年塔斯基和他的合作者们一起在《不可判定理论》一书中证明了很多数学公理系统（包括：格论、射影几何、内部代数、群论）是不可判定的。1941年，塔斯基发表了一篇关于二元关系的重要论文，开启了他对关系代数及其元数学的研究。尽管塔斯基进一步的研究以及罗杰·林登（Roger Lyndon）的相关工作揭示了关系代数的一些重要局限性，他也证明关系代数能够表达多数集合论公理和