?

Log in

No account? Create an account

конецформыначалоформы

rocky strength

Previous Entry Share Next Entry
из педивикии
ммм
yvar
Для исчисления предикатов и арифметического исчисления Колмогоров и Гёдель предложили погружающую операцию классического исчисления в негативный фрагмент соответствующего интуиционистского исчисления (позволяющую, в частности, сводить вопрос о непротиворечивости классического исчисления к аналогичному вопросу для соответствующего ему интуиционистского). Были установлены свойства интуиционистской дизъюнкции и существования, состоящие в том, что если выводимо предложение , то для некоторого терма t выводимо A(t), и если выводимо предложение , то выводимо одно из предложений A и B.