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