Tarského axiomatika

Tarskiho axiomatika je nejednoznačný termín pro jednu z axiomatik navržených Alfredem Tarskim.