Доказательство по случаям и конструктивные доказательства
Помимо рассмотренных, можно среди прочих упомянуть доказательство по случаям и конструктивные доказательства. В первом - от нескольких условных высказываний (посылок), имеющих одинаковое следствие, переходят к утверждению этого следствия путем установления истинности, по крайней мере, одного из условных высказываний. Например, «Если светят электрические лампы, то в сети есть электрический ток»; «Если работает холодильник, то есть электрический ток» и «Если светят электрические лампы или работает холодильник, то в сети есть электрический ток».
В конструктивном доказательстве утверждение считается доказанным, если оно сводимо к построению своего объекта из первоначально ясных объектов или их последовательностей по известным правилам.
Например, существование любого натурального числа доказывается сведением его к возможности его построения сложением единиц.
Заканчивая обсуждение разделов обширной темы доказательств в науке, остается отметить, что степень зрелости науки и научного мышления определяется разнообразием и полнотой использования в них доказательств. Именно на доказательства возложено бремя различения истины и заблуждения в научном познании.
