Definitions of mathematics