Tarski's axioms

克里普克–普拉特克公理集合论（英语：Kripke-Platek axioms） 平行公设 (普莱费尔公理) 伯克霍夫公理（英语：Birkhoff's axioms） 希尔伯特公理 塔斯基公理（英语：Tarski's axioms） 平行公设属于欧式几何，在非欧几何中分别有替代公理。 参见黎曼几何和球面几何。

（页面存档备份，存于互联网档案馆）: A web site devoted to an ongoing derivation of mathematics from the axioms of ZFC and first-order logic. Principia Mathematica done right. Stanford

塔斯基不可定義定理（英語：Tarski's undefinability theorem），是由阿爾弗雷德·塔斯基在1936年給出並證明，是在數理邏輯、數學基礎及形式化語義方面的一個重要的限制結果。簡單來說：我們無法在算術系統中定義何謂「算術的真理」。從而這個定理可被推廣成適用於任何足夠強的形式系統

阿尔弗雷德·塔斯基（英語：Alfred Tarski，1901年1月14日—1983年10月26日）是一名波兰裔美国逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。他是华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。

趣正在复兴，尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。 形式语言的主要现代方式如下: 模型论语义是 Alfred Tarski 的真理的语义理论的原型，基于了他的 T-模式，并且是模型论的基本概念之一。这是最普遍的方式，它基于的想法是，命题各个部分的意义由从它们到预先设