Title: Founding Mathematics on Semantic Conventions