- рекурсивно замкнутый
- мат. recursively closed
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
АКСИОМАТИЗИРУЕМЫЙ КЛАСС — класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели,… … Математическая энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
Открытые математические проблемы — Открытые (нерешённые) математические проблемы проблемы, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна… … Википедия