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