A unifying language enables further discovery

A unifying langauge enables further discovery

This is one of the key arguments for finding and embracing isomorphism.

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.