ان کا مقصد نئے گمان کردہ خیالات ( conjectures ) کے لیے صیغے ( formulae ) اخذ کرنا اور پھر احتیاط سے چنے گئے مسلمات ( axioms ) ، تعریفوں اور قواعد کی مدد سے ریاضی کے اخذ کردہ صیغوں کو درست ثابت کرنا ہوتا ہے ۔
Entity: ریاضی — Type: /programming_language, /art, /art/music