Расширение с помощью новых имен констант и функций

Теория может быть расширена с помощью новых констант или имен функций при определенных условиях.
Расширение с помощью определений является наиболее известным подходом, но требует уникального существования объекта с желаемым свойством.
Можно добавлять новые имена безопасно, не обладая уникальностью.
Замкнутая формула может быть теоремой теории первого порядка T.
T1 может быть консервативным продолжением T, имея тот же набор теорем на языке оригинала.
Теория может быть консервативно расширена путем введения нового функционального символа.
Расширение с помощью нескольких констант может быть достигнуто путем добавления нового константного кортежа и новых имен констант.

Полный текст статьи:

Расширение новыми именами констант и функций — Википедия