Sometimes, like in mathematics, we can make the language of choice trivially isomorphic to the structures that we’re talking about.
Hold on, now. It’s only trivial to you because a bunch of blood, sweat, and tears went into making it so! In fact often there’s stuff in mathematicians heads that’s not ever written down, or if it is it’s in English and fairly hard to communicate.
More egregiously: Timothy Gowers says that in combinatorics, often the developments and “theory” are general themes of problem solving techniques, with much less encoded in the actual formal results.
Hold on, now. It’s only trivial to you because a bunch of blood, sweat, and tears went into making it so! In fact often there’s stuff in mathematicians heads that’s not ever written down, or if it is it’s in English and fairly hard to communicate.
More egregiously: Timothy Gowers says that in combinatorics, often the developments and “theory” are general themes of problem solving techniques, with much less encoded in the actual formal results.