Конструктивный объект

КОНСТРУКТИВНЫЙ ОБЪЕКТ — одно из основных понятий математики, современной формальной логики и теории алгоритмов. Конструктивными называются объекты, построение или рассмотрение которых возможно в рамках абстракции потенциальной осуществимости при противопоставлении ее абстракции актуальной бесконечности. К числу конструктивных объектов могут принадлежать как конкретные, так и абстрактные предметы.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 172.