One keen insight I have had recently into the stratification between mathematics and language is that language immediately presents the 5 or 6 main "Who, what, when, where, how," as we introduce more language. Mathematics can start with few axioms or many. Taking those points in mind, I think there can be a lot of similarity when thinking around an equals sign and the verb is/to be.