释义：The science that uses deductive reasoning to study the properties of abstract entities such as numbers, space and functions and the relations between them.