Riyazi isbat elm aləmində qəbul olunmuş aksiom və qaydalar əsasında ardıcıl məntiqi nəticələrdən istifadə edərək müəyyən

Riyazi isbat — elm aləmində qəbul olunmuş aksiom və qaydalar əsasında, ardıcıl məntiqi nəticələrdən istifadə edərək, müəyyən riyazi fərziyyənin doğru olmasını göstərmək deməkdir. Riyaziyyatda isbat fərziyyə müddəalar teorem adlanırlar.

Misal üçün, fərz edək ki, "Düzbucaqlı üçbucaqda katetlərin kvadratları cəmi hipotenuzun kvadratına bərabərdir. Əgər a və b katetlər, c isə hipotenuz olarsa onda a² + b² = c² ". Bu fərziyyə həndəsi aksiom və qaydalar əsasında isbat edilmişdir (bax şəkilə) və Pifaqor (e.ə. 569–475-ci illər) teoremi adlanır.

Riyaziyyat ilə əlaqədar bu məqalə qaralama halındadır. Məqaləni redaktə edərək Vikipediyanı zənginləşdirin. Etdiyiniz redaktələri mənbə və istinadlarla əsaslandırmağı unutmayın.