Cтраница 4
Формулировка каждой подцели всегда представляет собой обобщенную форму исходной цели. [46]
Формулировка и решение задачи для случая разомкнутых контуров не представляют никаких трудностей. [47]
Формулировка н решение задачи для случая разомкнутых контуров не представляют никаких трудностей. [48]
Формулировка и доказательство леммы Минковского приведены в конце этого Добавления на стр. [49]
Формулировка второй е-теоремы не исчерпывает всего содержания приведенного нами доказательства этой теоремы. И действительно, с помощью этого доказательства мы не только убедились в возможности исключать - при выполнении предположений, приведенных в формулировке второй е-теоремы, - е-символы из выводов любых не содержащих вхождений е-символа формул, но при этом мы выявили еще и некоторый специальный тип выводимости, и это имеет большое значение вне зависимости от того, что может дать нам оперирование с е-символом. [50]
Формулировка и доказательство теоремы Эрбрана, приведенные выше, относятся к предваренным формулам. Но приведенный нами метод доказательства с использованием символьного решения и теоремы об элементарном выводе позволяет дать более общую формулировку этой теоремы, относящуюся ко всем таким формулам, у которых ни один квантор не стоит ни в области действия какого-либо знака отрицания, ни в каком-либо члене импликации или эквивалентности, или, выражаясь позитивно, относящуюся ко всем таким формулам, которые могут быть построены из предваренных формул с помощью конъюнкций, дизъюнкций и кванторов. [51]
Формулировка такого явного определения производится с использованием - символа. [52]
Формулировки и доказательства в этой заметке всюду можно понимать конструктивно. [53]