Could you please elaborate. Just to take two elementary examples: the intermediate value theorem and the theorem that any two bases of a finite-dimensional vector space have the same number of vectors. I would have thought that both require mathematical ideas and not just notation.