Talk:Tarski's indefinability theorem