Tarski's problem