Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Дедуктивная полнота и категоричность системы аксиом



Для структуры ∑{ T,Ð, М } всякой системы аксиом Т определено множеств И – утверждений или высказываний, связывающих элементы Т, Ð, М этой структуры. (Напомним, что М – множество базовых элементов, а Ð – множество отношений между элементами М (см п.6.1–6.2 §6). Любое высказывание " иИ обладает одним из следующих трех свойств. Высказывание " и " является доказуемым в теории , обозначим множество таких высказываний Д. Высказывание " иИ опровержимо в системе , обозначим множество таких высказываний О. Наконец, высказывание " иИ не является ни доказуемым, ни опровержимым, то есть неопределенным; множество таких " и " обозначим Н. Таким образом, множество всех высказываний И, касающихся понятий структуры ∑Т, есть сумма непересекающихся классов

И = Д U О U Н. (1)





Дата публикования: 2014-11-04; Прочитано: 255 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...