This thread needs a link to Tarski’s undefinability theorem.
Also, you’re assuming the consistency of PA.
This thread needs a link to Tarski’s undefinability theorem.
Also, you’re assuming the consistency of PA.