А что тут сложного. Есть логическое высказывание
(пропускаю всякие ссылки на то что все свободные термы кроме f - действительные числа, а f - функция) и Некоторое высказывание R. Для всего этого есть выражения, которые только увеличат громоздкость формул и ничего более). Имеется теорема для некоторых конкретных термов f,a,b
. Пусть
, где N - произволбное фиксированное действительное чило больше 0,
- подстановка вместо свободной переменной yсвободной переменной x (мне лениво писать две формулы подстановок сократил до одной - хотя два раза используется свободная переменная, но смысл понятный). Теперь пусть выбрали произвольное но фиесированное
, по теореме существует терм
. И тогда для этих конкретных термов имеется теорема
, и стало быть является теоремой и высказывание
...
Можно еще 100500 произвольных теорем построить, смысл их прост - конкретизация ничего не меняет. Это простая житейская логика