Matematikada haqiqat tushunchasi aniq va isbotlangan faktlarga asoslanadi. U mantiyaviy va qat'iy isbotlash yo'li bilan aniqlanadi. Haqiqatlar formulalar, teorema va aksiomalar orqali tasdiqlanadi