Доказательство
Материал из Википедии — свободной энциклопедии
Доказательство — рассуждение по определенным правилам, обосновывающее какое-либо предложение (утверждение, лемму, теорему); основанием доказательства служат исходные утверждения (аксиомы). Конкретное доказательство не обязательно начинается с аксиом, оно может опираться на ранее доказанные предложения.
Всякое доказательство — относительно, поскольку базируется на некоторых недоказываемых положениях. Правила, по которым ведутся рассуждения, а также методы доказательств изучает логика.
[править] См. также
- Академик Ю.Л.Ершов «Доказательность в математике», программа А.Гордона от 16 июня 2003 года (стенограмма)