Словарь по логике

Дефинициальное расширение теории: Теория T₂, получающаяся из T₁ расширением языка и присоединением некоторого множества определений для новых выражений расширенного языка.
– теория T₂ – дефинициальное расширение T₁ существует теория T₃, являющаяся языковым расширением T₁ на Язык(T₂), и D – множество определений знаков Алфавит(T₂)Алфавит(T₁) через знаки Алфавит(T₁) такие, что T₂=Cn(T₃+D).