Founding Mathematics on Semantic Conventions