Definition
Unrestricted Self-applicable Definability
Unrestricted self-applicable definability names the assumption that a self-applicable definability predicate correctly classifies every description of its own language
, under one fixed interpretation: This must hold for every encoded description
and object , including descriptions that use or negate itself. No restriction excludes these descriptions from its scope. Berry’s paradox challenges this assumption, not definability relative to a restricted language.