Математик иҫбатлау

Википедия — ирекле энциклопедия мәғлүмәте
Перейти к навигации Перейти к поиску

Математик иҫбатлау – ул билдәле бер аксиомалар дөрөҫ тип һанағанда, математик раҫлау дөрөҫ икәнлеген күрһәтеү.

Иҫбатланған раҫлау теорема тип атала. Ҡайһы бер осраҡтарҙа теореманы иҫбатлау барышында лемма исеме аҫтында билдәле ябайыраҡ раҫлауҙар иҫбатлана. Иҫбатланмаған, әммә дөрөҫ булыуы мөмкин, тип һаналған раҫлау гипотеза, йәки фараз, тип атала.