Төп менюны асырға

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

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