Роль практики и опыта в доказательствах

§ 25. Во всех науках и во всех научных доказательствах все понятия, которые входят в состав доказательства, ведут своё происхождение в конечном счёте из практики, из опыта. В этом отношении не составляют исключения и доказательства математических наук. Правда, понятия, которыми пользуется математик, отвлекаются от целого ряда свойств, которые принадлежат предметам этих понятий в нашем опыте. Математический круг, куб, шар и т. д. не существуют в опыте в том виде, в каком их мыслит ум геометра. И всё же даже самые отвлечённые понятия математики возникли в конечном счёте из опыта и на основе опыта. То же справедливо относительно математических определений и относительно аксиом, т. е. непосредственно очевидных истин, лежащих в основе всего математического знания, как бы ни казались далёкими от опыта, а иногда даже противоречащими опыту эти определения и аксиомы, – все они в конце концов являются продуктами отвлечения от известных сторон опыта и не могли сложиться в мысли иначе, как на основе опыта.

§ 26. Так обстоит дело с понятиями, определениями и аксиомами математики. Сложнее обстоит дело с доказательствами. Во всех науках, кроме математических, доказательство всегда непосредственно связано с опытом. Это значит, что кроме той связи с опытом, без которой вообще не могло бы существовать никакое понятие, никакая аксиома, в науках этих в состав доказательства всегда входят такие части и такие данные, которые прямо предполагают обращение к опыту: к наблюдению, эксперименту и т. д.

Напротив, в математических науках доказательства – если рассматривать одну логическую их сторону, а не происхождение понятий, входящих в состав доказательств, – всегда ведутся таким образом, что в ходе доказательства математику не приходится прямо обращаться к опыту, помимо тех элементов опыта, которые уже содержатся в его понятиях, определениях и аксиомах. Иными словами, опыт входит в математические доказательства не непосредственно, как он входит в доказательства физика, химика, биолога, но лишь посредством понятий, которые некогда образовались на основе опыта, но в своём современном содержании являются отвлечёнными по отношению к этому опыту.