Cтраница 4
Fn) - G) называется теоремой, a G называется также заключением теоремы. В математике так же, каь и в других областях, многие проблемы могут быть сформулированы как проблемы доказательства теорем. Это будет разъяснено в следующем параграфе. [46]
Тогда, как и в случае норм, для теоремы Гильберта имеет место заключение аддитивной теоремы Шпайзера. [47]
И, несмотря на тот факт, что наименьшее значение т, удовлетворяющее заключению теоремы, не известно и, возможно не постижимо при всех, кроме нескольких нетривиальных, значениях г, s n, теорема Рамсея гарантирует нам, что для любых г, s, n соответствующее m существует, каким бы оно ни оказалось. [48]
По условию, каждые mdH - - множеств N имеют непустое пересечение, а заключение теоремы состоит в том, что Nf. [49]
Предложение р ( х) называется условием теоремы; предложение q ( x) - заключением теоремы. [50]