Непредсказуемость

• В математике, логике и философии математики недоказуемое определение — это определение, ссылающееся на себя. 
• Определение является непредикативным, если оно ссылается на определяемый набор или на другой набор, содержащий определяемую вещь. 
• Общепринятого точного определения предикативности или непредикативности не существует. 
• Противоположностью непредикативности является предикативность, предполагающая построение стратифицированных теорий. 
• Парадокс Рассела — известный пример непредикативной конструкции, множество всех множеств, которые не содержат самих себя. 
• Принцип порочного круга был предложен Пуанкаре и Расселом в связи с парадоксами как требование к обоснованным спецификациям множества. 
• Непредикативные определения проблематичны только тогда, когда базовые множества бесконечны.