Избранное
ЭБ Нефть
и Газ
Главная
Оглавление
Поиск +
Еще книги ...
Энциклопедия
Помощь
Для просмотра
необходимо:


Книга: Главная » Гильберт Д.N. Математическая логика и основания математики
 
djvu / html
 

550 ПОНЯТИЕ «ТОТ, КОТОРЫЙ» И ЕГО УСТРАНИМОСТЬ [ГЛ. УШ
Повторное применение этой процедуры в конце концов сводит вывод формулы
к выводам таких формул
которые вообще не содержат ни одного i-символа. А эти формулы, как мы знаем, могут быть получены из формул (i) при помощи средств исчисления предикатов.
Тем самым для вывода формулы
оказывается достаточно средств исчисления предикатов, 1-пра-вила и формул (i), что и требовалось доказать.

 

1 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 260 270 280 290 300 310 320 330 340 350 360 370 380 390 400 410 420 430 440 450 460 470 480 490 500 510 520 530 540 550 551 552 553 554 555 556


Математика