Из теоремы 5.1 и рассуждений выше следует, что всякая непротиворечивая ( составная) аксиоматическая теория Т, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ


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

(cкачать страницу)

Смотреть книгу на libgen

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