Дескрипция
Это описание, т. е. конструкция, по форме имеющая вид «тот …, который …». При построении логических средств она включается в язык в числе термов. Определенная дескрипция соответствует терму x., который канонически читается как «тот единственный x, для которого выполняется ». Неопределенная дескрипция соответствует терму x., который канонически читается как «тот x, для которого выполняется »