The Semantics of Math