Математика не арифметика. Хотя математика могла возникнуть из практики подсчета и измерения, в действительности она имеет дело с логическими рассуждениями, в которых теоремы — общие и частные утверждения — могут быть выведены из исходных предположений. Это, пожалуй, самая чистая и строгая интеллектуальная деятельность, и ее часто считают королевой наук.