Tarski's problem then becomes: are there identities involving only addition, multiplication, and exponentiation, that are true for all positive integers, but that cannot be proved using only the axioms 1–11?
Problem Tarskiego brzmi: czy istnieją tożsamości zawierające wyłącznie dodawanie, mnożenie oraz potęgowanie, które są prawdziwe dla każdej dodatniej liczby całkowitej, a których nie można dowieść korzystając jedynie z aksjomatów 1–11?