التعليل : حيث يتوقف صدق النظريات الرياضية على صدق المقدمات التي افترضها لأن الرياضي يبرهن علي
النظرية بردها إلي المقدمات أما بطريقة مباشرة أو بطريقة غير مباشرة كما يلي :
-1 الطريقة المباشرة :- اى البرهنه على النظرية بردها إلى المقدمات حسب قواعد الاستنباط .
مثال : يبرهن على نظرية ' اقليدس ' مجموع زوايا المثلث = (180 ) بردها إلى المقدمات المكان سطح مستوى
حيث تكون النظرية صادقه بعدم تناقضها مع تلك المقدمة السابقة .
-2 الطريقة الغير المباشرة :- عندما يبرهن الرياضي على النظرية يقوم بردها إلى نظريه أخرى سبق البرهنة عليها
، وهذه الأخيرة قد يردها إلى نظريه أخرى سبق البرهنه عليها حتى ينتهي إلى المقدمات الأولى التي سلم بها لتكون
المرجع النهائي لصدق كل النظريات