That’s what I got from it.
Note that the universal “All sentences are either true or false” also, doesn’t appear to meet the unpackability requirement, though I’m not confident I know how to make a Tarski sentence out of that.
That’s what I got from it.
Note that the universal “All sentences are either true or false” also, doesn’t appear to meet the unpackability requirement, though I’m not confident I know how to make a Tarski sentence out of that.