Ученые записки математических кафедр 1968 г.

- 62 Правила ; :.ь подстановка и 'П 0 С(Щ . Аксиомы П-УП - аксиомы исчисления с-заменой аксномных схем Аксиома : с". - единственная аксиома исчисления Лукасе бич а Ь<-‘и Искази гаки.; аксиомами.. Нспротпгорёч;кость исчисления 7 ~ вытекает из того •Ш:та> что все аксиомы исчисления /" являются тождественно ИСт«»«»мИ - обучной интерпретации. Для доказатсль- Ства полноты’ спс к.»ы аксиом достаточно доказать, что с 1'1 ль! 1 :,с аксиомы Клпни являются теоремами исчисления Слпвами: слод.ет доказать формулы: ; р =’ - ? = > - /> ? . сАмгчолте.чьст во .сг.м.улы А Согласно Чёрчу / ^ 7 , из правил вывода и аксиомы Р 1 ^ ^ ’ / О^А^С. - следует такое производное правило вывода, если !ч): < /А ^ / ? } ъ ‘ э'ГОго правила вывода и из аксиомы I могут ^ ть получены •ячество теорем следующие аксиомы исчисления К. р Р о . Р о ¥ =>Р ^ р .