The formal and general science of structure, quantity, change, and relations, and the processes of making inferences thereof.