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

Википедия — ирекле энциклопедия мәғлүмәте
Унда күсергә: төп йүнәлештәр, эҙләү

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

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