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年移居美国，一直任教于加利福尼亚大学伯克利分校。他是华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。

Groningen; North-Holland Publishing Co., Amsterdam. Heyting, A. (1959) Axioms for intuitionistic plane affine geometry. The axiomatic method. With special