1. Властивість за значенням прикметника “невивідний“; відсутність можливості встановити походження слова від інших слів у межах даної мови шляхом синхронного словотворчого аналізу.
2. У логіці та математиці: властивість твердження, яке не може бути логічно виведене з певної системи аксіом або посилок.