塔爾斯基方法(Tarski method)第一個初等代數和初等幾何命題的判定算法.195。年，塔爾斯基(Tarski , A.)證明實閉域的初等代數問題是可判定的，由此推知，初等實幾何是可機械化的.用塔爾斯基方法，理論上可判定初等幾何中任一命題的真偽.但由於運算量太大，至今未能在計算機上證明稍難的定理.塔爾斯基定理可表述為:設f,(二、，x2 } ... }x‑)和g}y,xl,xz,"..}xn)是有序域K上的多元多項式，這裡i=1,2,""",m，而y在g中真正出現，則有機械化方法可以判斷.對K的有序的代數封閉域K中的任意滿足方程組
