А что тут сложного. Есть логическое высказывание

(пропускаю всякие ссылки на то что все свободные термы кроме f - действительные числа, а f - функция) и Некоторое высказывание R. Для всего этого есть выражения, которые только увеличат громоздкость формул и ничего более). Имеется теорема для некоторых конкретных термов f,a,b

. Пусть

, где N - произволбное фиксированное действительное чило больше 0,

- подстановка вместо свободной переменной yсвободной переменной x (мне лениво писать две формулы подстановок сократил до одной - хотя два раза используется свободная переменная, но смысл понятный). Теперь пусть выбрали произвольное но фиесированное

, по теореме существует терм

. И тогда для этих конкретных термов имеется теорема

, и стало быть является теоремой и высказывание

...
Можно еще 100500 произвольных теорем построить, смысл их прост - конкретизация ничего не меняет. Это простая житейская логика