> Goethe's equation

Do you mean Goedel's Undecidability Theorem(s)? and perhaps Cantor's work on orders of infinity? much to my surprise, I find they're related, then (as an unfrocked mathematician) I find myself surprised that I'm surprised. What would really surprise me is finding equations in Faust.

For completeness, and to prevent any going off the rails: extelligence is merely (!) that part of human understanding which is external to humans: books, computers and other repositories of information. I first came across it in The Science of Discworld, but that doesn't invalidate the concept (far from it).