b.5 ТЕОРЕМА ИСХОДНОГО ПОЛОЖЕНИЯ И ТЕОРЕМА ВЫВОДНОГО ПОЛОЖЕНИЯ

Обоснование необходимости рассмотрения вопросов теорем этой теоретической статьи.

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

Недилеммно-причинная выводная теорема b.5.1

Как и почему именно так делятся между собой все теоремы относительно свойства «иметь в своем составе ответ на теоретический вопрос, излагаемый в виде исходного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории»?

Обоснование выводного теоретического положения, или теоретический логический вывод.

В законе, сформулированном в теореме а.10.1, установлено, что каждое реальное явление обладает свойством непротиворечивости, которое проявляется в том, что всякому реальному явлению либо принадлежит некоторое свойство в какое-то время, либо оно ему в это же время не принадлежит.

Исходя из этого закона, следует такой ответ на вопрос теоремы.

Все теоремы относительно свойства «иметь в своем составе ответ на теоретический вопрос, излагаемый в виде исходного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории» делятся между собой так, что одни теоремы этим свойством обладают, а другие - им не обладают, потому что всякому реальному явлению либо принадлежит некоторое свойство в какое-то время, либо в это же время оно ему не принадлежит. (Выводной неопределяющий закон теоретической науки. Выводная теоретическая истина.)

Определительно-причинная выводная теорема b.5.2

Что такое теорема исходного положения, или аксиомная теорема (как один из двух противоположных друг другу видов всех теорем)?

Обоснование выводного теоретического положения, или теоретический логический вывод.

В теореме b.5.1 выведен закон, согласно которому имеются теоремы, в которых ответ на теоретический вопрос излагается в виде исходного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории. Такие теоремы мы назовем теоремами исходного положения, или аксиомными теоремами.

Отсюда следует такой ответ на вопрос теоремы.

Теорема исходного положения, или аксиомная теорема (как один из двух противоположных друг другу видов всех теорем) - это теорема, в которой ответ на теоретический вопрос излагается в виде исходного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории. (Выводной определяющий закон теоретической науки, выводное теоретическое определение. Выводная теоретическая истина.)

Определительно-причинная выводная теорема b.5.3

Что такое теорема выводного положения, или выводная теорема (как один из двух противоположных друг другу видов всех теорем)?

Обоснование выводного теоретического положения, или теоретический логический вывод.

Из закона, выведенного в теореме b.5.1, следует, что есть теоремы, в которых ответ на теоретический вопрос не излагается в виде исходного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории. А значит, он излагается в виде ее выводного утверждения, потому что ответы на вопросы в аксиоматической теории, каковой является и единая всеобщая теория (о чем гласит закон, выведенный в теореме а.44), могут быть только либо исходными утверждениями, либо выводными утверждениями. Такую теорему, в которой ответ на вопрос излагается в виде выводного, а не исходного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории, мы назовем выводной.

 Отсюда следует такой ответ на вопрос теоремы.

 Теорема выводного положения, или выводная теорема (как один из двух противоположных друг другу видов всех теорем) - это теорема, в которой ответ на теоретический вопрос излагается в виде выводного утверждения специальной теоретической науки, входящей в состав единой всеобщей теории. (Выводной определяющий закон теоретической науки, выводное теоретическое определение. Выводная теоретическая истина.)

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

 Содержание