Основаниями (аргументами) доказательства теоремы о сумме внутренних углов треугольника эти положения являются потому, что принятие и доказательство их в качестве истинных с необходимостью приводит к признанию истинным также и положения о равенстве суммы внутренних углов треугольника двум прямым.
Основания (аргументы) доказательства заключают в своём составе положения различного типа. В число оснований входят: а) положения об удостоверенных единичных фактах; б) определения; в) аксиомы, или постулаты, г) доказанные ранее данной наукой положения, или теоремы.
а) Положения об удостоверенных фактах как основания доказательства
Положения об удостоверенных единичных фактах — чрезвычайно важный вид оснований. За исключением математических наук, опирающихся на факты не непосредственно, но посредством обобщённых понятий об отношениях между объектами, во всех науках доказательство основывается на положениях об удостоверенных — прямо или косвенно— фактах. В огромном числе случаев доказать истинность положения — значит показать, что истинность эта — прямое следствие из положений об известных, хорошо удостоверенных фактах.
И напротив, доказать ложность положения во множестве случаев — значит удостовериться в фактах, противоречащих этому положению.
О значении фактов для доказательства не раз говорили корифеи мировой науки. «Факты.— писал академик И. П. Павлов,— это воздух учёного. Без них вы никогда не сможете взлететь. Без них ваши «теории» — пустые потуги»[13].
И в этом же смысле В. И. Ленин говорил: «Точные факты, бесспорные факты — ...вот что особенно необходимо, если хотеть серьезно разобраться в сложном и трудном вопросе... Факты, если взять их в их целом, в их связи, не только «упрямая», но и безусловно доказательная вещь»[14].
Поэтому безупречность доказательства определяется— в числе прочих условий — уменьем находить факты, либо обосновывающие доказываемое положение, либо не совместимые с ним и тем самым его опровергающие. Особую доказательную силу имеют факты опровергающие. И это вполне понятно. Указания фактов, подтверждающих доказываемое положение, часто бывает ещё недостаточно для строгого доказательства его истинности. Такое указание часто обосновывает истинность положения только в пределах тех фактов, которые были найдены для его подтверждения. Достаточно обнаружить хотя бы один факт, противоречащий доказываемому положению, чтобы обнаружить тем самым полную или, по крайней мере, частичную ложность этого положения.
