Обсуждение:Непредикативность (математика)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Должно быть определение на языке теорий 1 порядка[править код]

Понятию, о котором здесь идет речь (непредикативность), недостает определения на языке теорий 1 порядка. Без него формально специалисту понять, о чем речь, невозможно. Если такое определение существует, то его нужно включить в статью (со ссылкой, и перестроить изложение, убрав неточности), если же нет, то заявление, что это статья по математике, по-видимому, не соответствует действительности, этот текст следует отнести к области философии. Eozhik (обс.) 08:35, 12 сентября 2018 (UTC)[ответить]