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

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

А. С. Ку зичев