Yeah it reminds me of https://en.m.wikipedia.org/wiki/Tarski%27s_undefinability_th...