الرياضيات هي مجموعة من المعارف المجردة الناتجة عن فحص الهياكل التجريدية الذاتية الإنشاء من خلال تعريفات منطقية الخصائص. ويهتم علم الرياضيات بدراسة مواضيع مثل الكمية والبنية والفضاء والتغير. ولا يوجد حتى الآن تعريف عام متفق عليه للمصطلح.

يسعى علماء الرياضيات إلى استخدام أنماط رياضية لصياغة فرضيات جديدة؛ من خلال استعمال إثباتات رياضية بهدف الوصول للحقيقة وذرء الفرضيات السابقة أو الخاطئة. فمن خلال استخدام التجريد والمنطق، طورت الرياضيات من العد والحساب والقياس والدراسة المنهجية للأشكال وحركات الأشياء المادية. لقد كانت الرياضيات العملية نشاطًا إنسانيًا يعود إلى تاريخ وجود السجلات المكتوبة. يمكن أن يستغرق البحث المطلوب لحل المسائل الرياضية سنوات أو حتى قرون من البحث المستمر.

ظهرت الحجج الصارمة أولاً في الرياضيات اليونانية، وعلى الأخص في أصول إقليدس. منذ العمل الرائد لجوزيبه بيانو (1858-1932)، وديفيد هيلبرت (1862-1943)، وغيرهم في النظم البديهية في أواخر القرن التاسع عشر، أصبح من المعتاد النظر إلى الأبحاث الرياضية كإثبات للحقيقة عن طريق الاستنتاج الدقيق من البديهيات المختارة بشكل مناسب والتعاريف. تطورت الرياضيات بوتيرة بطيئة نسبيًا حتى عصر النهضة، عندما أدت الابتكارات الرياضية التي تتفاعل مع الاكتشافات العلمية الجديدة إلى زيادة سريعة في معدل الاكتشافات الرياضية التي استمرت حتى يومنا هذا.