%0 Journal Article %A Olcott, P. %D manuscript %T Tarski Undefinability Theorem Terse Refutation