Анотация: У роботі вперше запропоновано і обґрунтовано модель формальної системи інтелектуального типу (ФСІТ), що містить системи презентації і репрезентації, визначені функції даних систем, доведено необґрунтованість застосування теореми Геделя про неповноту формальної арифметики до ФСІТ, репрезентативні системи яких володіють неповнотою зважаючи на існування фундаментальної властивості α- і β-невимовності, визначеного в роботі.

Ключові слова: формальна система інтелектуального типу, системи презентації і репрезентації