ПОИСК Статьи Чертежи Таблицы 31.3. Аксиома сводимости Рассела. Примеры. «Я предоставляю слово автору (Расселу, наше примечание), так как не уверен в том, что правильно понял его мысль: „Мы предполагаем, что всякая функция эквивалентна для всех её значений некоторой предикативной функции того же самого аргумента“» [93 . [Выходные данные]