Доказательство - рассуждение, устанавливающее истинность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис - утверждение, которое нужно доказать, и основание, или аргументы, — те утверждения, с помощью которых доказывается тезис. Задача Д. - исчерпывающе утвердить истинность тезиса. Этим оно отличается от других мыслительных процедур, призванных только частично поддержать тезис, придать ему большую или меньшую убедительность.
В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории.