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

- 61 ческого исчисления, ибо в интуиционистской исчислении все четыре связки ~ / V; • независимы и ни одна из связок 'Н П О , Т . К . не выразима через остальные {%] • Зто утверждение мог.но доказать и непоспелс/ . 0 X 1.0 пок<гза 1 ь, что интуиционистская аксиома не выводима из аксиом системы 3 , месте с тем исчисление 3 / не совпадает с миннмоль- "°ЧИС"ев1,с“ Колмогорова -Когавссона „о содержатся я »*« одпой стороны, как показал ИогаиссонК/ , аксиома I не ляется доказуемой в минимальной исчислении. С ли то!: стороии, ° № " ’ сода1Еа£1«с конъюнкиип и выводимые в минимальном яс- ко "е ''°ГЛ б1,?Ь виведе1ш ® исчислении в / , чмсвевмГУе °"редсл"ется Ч°РСЗ осталыше три связки и яс- * в часТ11 интуиционистского исчисления• — 7*. Непротиворечивость К Полнотп ^смотрим систем, аксиом • П. Оо - Г' ~ ,Р = > ^ =>р. "• Р 1 * р . 11• Р9- =><?■ ■ Р =>р ч у . Л - $■ =>р V О . 3“- г э ' / в ^ » » ; 1Х- Р ч - , о. *