From my studies of general mathematics I know that objects are defined by their properties, not names. Semantics matters, and what’s better to clarify a meaning than a formula codifying a definition…