A unifying language enables further discovery →

Discussion

 →
#
>

godel numbering is a great example of a discovered isomorphic “language” that kurt godel used to discover godel’s incompleteness theorems.

→