Redirecting to Tarski's axioms