“Mathematics is a language plus reasoning; it is like a language plus logic. Mathematics is a tool for reasoning.”