Конструктивні об'єкти, об'єкти, розгляд яких і операція з якими не пов'язані з прийняттям сильніших абстракцій нескінченності, чим абстракція потенційної здійсненності, що полягає у відверненні від практичних кордонів наших можливостей при побудові яких-небудь (конкретних або абстрактних) об'єктів в просторі, часі і матеріалі. Якщо, наприклад, в якості До. о. розглядаються слова, утворені з букв деякого алфавіту, то ця абстракція допускає розгляд слів будь-якої (аби кінцевою!) довжини; у застосуванні до натуральних чисел — розгляд скільки завгодно великих (але знову-таки кінцевих) чисел і т. п. Будучи одним з основних (початкових) понять сучасної математики, логіки і теорії алгоритмів, загальне поняття До. о. не визначається, а лише пояснюється (наприклад, подібно до того, як це зроблено вищим). В той же час в конкретних конструктивних (логико-) математичних теоріях обмежуються розглядом До. о. деякого «стандартного» вигляду, визначуваних, як правило, індуктивно (див. Визначення ) , так що загальне визначення поняття До. о. опиняється в таких випадках зайвим. Такими «стандартними» До. о. в теорії нормальних алгоріфмов А. А. Марков служать слова з букв деякого фіксованого алфавіту, в інших модифікаціях — теорія алгоритмів (див., наприклад, Рекурсивні функції ) або у формалізованій арифметиці — натуральні числа і т. д. Див. також ст. Конструктивна математика і літ.(літературний) при ній.
