Tarski's indefinability theorem