Для всякой формулы F сигнатуры существует бескванторная формула, задающая F на R - это:
(Отметьте один правильный вариант ответа.)
Варианты ответа
аксиома исчисления предикатов
теорема Тарского - Зайденберга (Верный ответ)
теорема Гегеля