Definition of mathematics by mathematicians