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