Semantics Theory of computing mathematics