This is the power behind generalized theories like category theory
and homotopy type theory maybe
godel numbering is a great example of a discovered isomorphic “language” that kurt godel used to discover godel’s incompleteness theorems.
Similar to a unified theory.
In fact, what’s the difference between a theory and a well formed language?