Hacker News new | ask | show | jobs
by codechicago277 2 hours ago
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/