In 1969, Polish mathematician and logician, Alfred Tarski asked ifall the identities true in the set of natural numbers involving the constant 1,addition, multiplication, and exponentiation can be derived from the elevenaxioms that are taught at the high school level (High School Identities). In1981 Alex Wilkie negatively solved this problem by constructing an identitythat cannot be proved using these axioms. In this paper we survey resultsconnected with Tarski’s problem.