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