1. (у логіці та математиці) Перетворюватися на формальну систему, піддаватися процедурі формалізації за принципами, встановленими Куртом Геделем; бути представленим у вигляді формального числення, щоб можна було застосувати теореми Геделя про неповноту.
2. (переносно, інформатика, філософія) Досягати стану, коли система (напр., комп’ютерна програма, мислення, дискурс) стає настільки складною, самопосилальною або замкненою, що виникають внутрішні суперечності або принципові обмеження у її повноті та узгодженості, аналогічно до наслідків теорем Геделя.