It probably is also the case that the language used in sci articles is constantly changing, too. We may take advantage of libraries in programming (but even th

It probably is also the case that the language used in sci articles is constantly changing, too. We may take advantage of libraries in programming (but even then they may not work on all of the physical platforms), but it's not that well defined, what is "the fundamental language" of mathematics; at least not as of today. Although I find it cool that tools like Coq are getting increasingly popular, so we will eventually get there.