Математикалық дәлелдеу бастапқы аксиома, анықтама, бұрын дәлелденген теорема жене дәлелденетін теореманың шартынан қорытындыға келетін логикалық салдарлар тізбегі болып табылады.
Сонымен, теореманы дәлелдеу үшін оны бұрын дәлелденген теоремаға, ақиқаттығы шүбәсіз басқа бір қағидаға келтіріліп отырылады. Әрине бұл процесс шексіз жалғастырыла бермейді, кез келген дәлелдеу ақыр соңында бастапқы анықтамаларға, дәлелдеусіз қабылданған аксиомаларға алып келеді.
Математикалық дәлелдеу – бастапқы аксиома, анықтама, бұрын дәлелденген теорема және дәлелденетін теореманың шарттарынан қорытындыға келетін логикалық салдарлар тізбегі болып табылады.
Теореманы дәлелдеу үш бөліктен тұрады.
1. Тезис – дәлелдеуге тиісті пікір.
2. Негіз немесе аргумент – дәлелдеудегі сүйенетін нәрсе.
3. Демонстрация немесе дәлелдеу әдісі – сүйенетін пікірлердің ақиқаттығынан дәлелдеуге тиісті нәрсенің ақиқаттығының шығатындығын көрсету жолы.
