The essence of mathematics