Cтраница 1
Формулировка теорем в математической логике записывается с помощью символов. [1]
Формулировки теорем набраны курсивом. Символ обозначает конец доказательства. [2]
Формулировка теоремы Эрбрана, не ограничивающаяся квазипредваренными формулами, приведена в работе False Lemmas in Herbrand ( см. сноску на с. Эта формулировка содержалась уже в диссертации Эрбрана, хотя и не в очень явном виде. Однако в его доказательство потребовалось внести существенное исправление, в результате чего лемму из раздела 3.3 пятой главы диссертации Эрбрана пришлось заменить более слабым и более сложным утверждением. [3]
Формулировки теоремы 1 и ее следствия нуждаются в пояснении. [4]
Формулировка теоремы предполагает, что многочлен хл ( Ь) имеет в основном поле Я п dim У различных корней Ai... По лемме 1 эти векторы линейно независимы. [5]
Формулировки теорем о дифференциальных и интегральных неравенствах несколько услоншяются в тех случаях, когда решения уравнения (1.14) не определяются однозначно начальным значением. В этом случае решения, удовлетворяющие фиксировашш. B ( t), которое называют верхним, и наименьшее tyH ( t), которое называют Нижним. [6]
Формулировка теоремы 2 предусматривает возможность скачка функции в начале отсчета. [7]
Формулировки теорем ( или их названия, когда это не вызывает путаницы) часто приводятся также в процессе доказательства. Кроме того, в помощь обладателям книги Пизо и Заманского указывается место этой теоремы в курсе, чтобы дать возможность, рассматривая ее в общей теории, восстановить доказательство для этого случая. [8]
Формулировка теоремы 16.1.1 по существу равносильна утверждению о том, что форма Q Q - L. [9]
Формулировки теоремы 1 и ее следствия нуждаются в пояснении. [10]
Формулировки теорем Паппа-Гульдина близки по смыслу и аналогичны по способу доказательства. Формулировки и доказательства приведены ниже. [11]
Формулировка теоремы об обращении преобразования Лапласа и ее обобщения на растущие ( не слишком быстро) функции. Первые три леммы и вытекающие из них следствия приводят к важному тождеству с тригонометрическим интегралом. Обсуждается характер остаточного члена в этом тождестве. [12]
Формулировка теорем об обращении преобразования Лапласа и ее обобщение на растущие ( не слишком быстро) функции. Первые три леммы и вытекающие из них следствия приводят к важному тождеству с тригонометрическим интегралом. Обсуждается характер остаточного члена в этом тождестве. [13]
Формулировка теоремы обычно состоит из двух частей. В одной части говорится о том, что дано. Эта часть называется условием теоремы. В другой части говорится о том, что должно быть доказано. Эта часть называется утверждением теоремы. [14]
Формулировка теоремы 3 предполагает известным то, что распределения, принадлежащие любой области притяжения при а1, имеют математическое опадание. [15]