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