The abstract science of numbers, quantity and space which discovers and organizes methods, theories and theorems that are developed and proved for the needs of empirical sciences or itself