Основания доказательства, которые не могут быть выведены ни из каких предшествующих им оснований, называются начальными основаниями данной науки.
Начальными основаниями для данной науки являются: положения об удостоверенных единичных фактах, определения и аксиомы (постулаты). Теоремы не могут быть начальными основаниями, так как начальные основания ниоткуда не выводятся; напротив, всякая теорема — доказываемое положение, а все доказываемые положения выводятся из оснований непосредственных или предшествующих.
Все определения и аксиомы, которые могут встретиться в отдельных доказательствах в качестве непосредственных оснований или к которым доказательство может быть возведено как к своим предшествующим основаниям, входят в число начальных оснований науки. При этом, однако, в доказательства эти основания входят в каждом отдельном случае лишь частично. Так, доказательство, например, теоремы Пифагора опирается непосредственно не на все, а лишь на некоторые аксиомы, не на все, а лишь на некоторые определения, входящие в круг начальных аксиом и определений.
Напротив, в числе начальных оснований науки находится не часть аксиом, а все аксиомы данной науки, не часть определений, а все её определения.
Чем дальше отстоит доказываемое положение от начальных оснований данной науки, тем большим становится число предшествующих оснований доказательства. И действительно: каждое доказанное ранее положение, на которое в данном доказательстве наука ссылается, как на одно из непосредственных оснований доказываемого тезиса, обусловлено, в свою очередь, длинным рядом предшествующих ему положений. Ни на одно из них в пределах данного доказательства не ссылаются — иначе доказательство каждой теоремы было бы повторением всего предшествующего этой теореме содержания науки со всеми её доказательствами. В то же время все они могут быть найдены в соответствующем месте системы науки, где они полностью излагаются, иначе основание, на которое опирается доказываемое положение, само было бы -недоказанным.
Наличие в далеко продвинувшейся науке длинной цепи не непосредственных оснований, предполагаемых каждым непосредственным основанием любого доказательства, делает особенно важным условием состоятельности доказательства истинность всех оснований доказываемого тезиса.
В самом деле, непосредственное для данного доказательства основание есть только звено предшествующей ему цепи обусловливающих его оснований. Если эта цепь длинна и если какое-нибудь из её звеньев окажется ложным, то и заключительное звено — данное непосредственное основание доказательства — тоже может оказаться ложным. А в таком случае и доказываемый тезис, как опирающийся на ложное основание, может оказаться ложным.
Поэтому в качестве оснований доказательства должны быть принимаемы только истинные, строго доказанные, проверенные и удостоверенные в своей истинности положения. Любой вид оснований, вообще говоря, сказывается на истинности результата. Поэтому ни входящие в число оснований доказательства положения об удостоверенных фактах, ни определения основных понятий науки, ни аксиомы, ни уже ранее доказанные положения науки не должны быть ложными. Основания доказательства не должны быть даже сомнительными. Сомнительность основания есть по крайней мере возможность его ложности, а возможность ложности в основаниях доказательства делает возможным ложность самого доказываемого тезиса. Поэтому доказательство, опирающееся на сомнительные основания, не есть, строго говоря, подлинное доказательство. Только вполне удостоверенная истинность всех оснований, на которые опирается доказательство, делает доказательство (при соблюдении всех прочих условий и правил, о которых речь впереди) путём и средством к отысканию новой истины.
3. Способ доказательства (демонстрация)
Мы рассмотрели две составные части доказательства: доказываемый тезис и основания доказательства. Мы видели, что главная задача доказательства — сделать непреложной либо истинность доказываемого, либо ложность опровергаемого. Мы видели также, что истинность доказываемого или ложность опровергаемого тезиса не могут быть обнаружены непосредственно. Чтобы убедиться в истинности доказываемого тезиса, следует указать истинное основание, признав которое истинным, мы с необходимостью должны признать истинным также и доказываемый тезис.