Математический словарь
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ДОКАЗАТЕЛЬСТВО

Значение ДОКАЗАТЕЛЬСТВО в математической энциклопедии:

- рассуждение по определенным правилам, обосновывающее какое-либо предложение (утверждение, теорему); основанием Д. служат исходные утверждения (аксиомы). Конкретное Д. не обязательно начинается с аксиом, оно может опираться на ранее доказанные предложения. Всякое Д.- относительно, поскольку базируется на нек-рых недоказываемых положениях. Правила, по к-рым ведутся рассуждения, а также методы Д. изучает логика. См. Доказательств теория.

А. С. Ку зичев