Definition
Self-applicable Definability
Self-applicable definability describes the use, within a language
, of a predicate intended to mean that the encoded description uniquely defines the object in . Descriptions using
are themselves eligible inputs to that predicate. Self-applicability alone does not require correct classification of every description; that is the stronger assumption of unrestricted self-applicable definability.