Tarski's axioms refer to a set of formal axioms proposed by the Polish logician and mathematician Alfred Tarski, particularly in his work on the semantics of formal languages and the theory of truth. Tarski is best known for his semantic definition of truth, which he formalized in the early 20th century.
New to topics? Read the docs here!