Discussion

This is the power behind generalized theories like category theory

Godel Numbering is a great example of a discovered isomorphic “language” that Kurt Godel used to discover Godel’s Incompleteness Theorems.