logoalt Hacker News

codechicago277today at 4:34 AM0 repliesview on HN

I’m not a logician either but believe this is what Tarski’s definition of truth solves for. In order to make a statement about the statement itself, you have to introduce a new meta language. Then a statement in the meta language is only true if the underlying statement is true.

Much more rigorous explanation: https://plato.stanford.edu/entries/tarski-truth/