the science of structure, order, and relation that... deals with logical reasoning and quantitative calculation, and its development has involved an increasing degree of idealization and abstraction of its subject matter -- britannica.com