Овој доказ спаѓа во групата на индиректни докази и уште е познат како доказ со доведување до контрадикција (апсурд), Reductio ad absurdum.
Суштината на Доказ со доведување до противречност се сосотои во следново: ако од негацијата на заклучокот и од претпоставката на теоремата следува некој исказ противречен на условот, некоја аксиома или теорема, тогаш тврдењето во теоремата е точно.
Познат пример на доказ со доведување до противречност е доказот дека е ирационален број:
This article uses material from the Wikipedia Македонски article Противречност, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Содржината е достапна под CC BY-SA 4.0 освен ако не е поинаку наведено. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Македонски (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.