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?