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

- 69 - с помощью которых и остальных аксиом исчисления Т/ может г / быть выведен и закон исключенного третьего /> V , что противоречит установленной выше независимости аксиомы IX от остальных аксиом исчисления / . Т.к. мы пользуемся в напих рассуждениях не непосред­ ственно самой аксиомой I , но формулами 3 , и рые из аксиомы 1 могут быть получены, то все рассуждения! остаются в силе, если ши заменим в системе аксиому формулами 3 , / и / V . § 8 . З а к л ю ч е н и е А.В.Кузнецовым ^ была установлена неразрешимость щих проблем полноты, разрешения и эквивалентности длп т' 11' обыкновенных исчислений высказываний ( ОМ З ) и высказана гипотеза о финитной аппроксимируемости произвольных су мерк структизных ОШ . Будем называть почти конструктивными такие, которые получаются путем удаления закона исключение третьего из классических ОШ, содержащих в своем полном списке независимых аксиом этот закон. Рассмотренные в это;'; заметке системы З , “ ?' явл**70* почти конструктивными, но не являются суперконструктгвными* Представляет интерес исследование структурных свойств класс *-1 почти конструктивных систем, выяснение вопроса о осу*есг*°' т “т в это« классе икиикальшк и иаксаалышх систем, а Т°К' внпсноние соохноаенк;! коллу суперкоиструктивикыи к ппчТ11 конструктивными 0 1 /3 .