Суть этого метода заключается в попытке доказать, что тезис, обратный данному, не правдив, то есть опровергнуть его. Получая двойное отрицание, мы приходим к выводу, что изначально данное суждение верно.
В начале мы делаем предположение, которое противоположно тому, что дано теоремой. Затем, путем ранее доказанных теорем или аксиом, мы приходим к выводу, который противоречит либо данной теореме, либо какой-либо из аксиом/теорем, которые нам известны. Из этого делается вывод, что предположение неверно, соответственно, верно обратное.
В начале мы делаем предположение, которое противоположно тому, что дано теоремой. Затем, путем ранее доказанных теорем или аксиом, мы приходим к выводу, который противоречит либо данной теореме, либо какой-либо из аксиом/теорем, которые нам известны. Из этого делается вывод, что предположение неверно, соответственно, верно обратное.