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

Определение. Система всех утверждений, доказываемых логическим путем в структуре , называется аксиоматической теорией этой структуры



Система всех утверждений, доказываемых логическим путем в структуре , называется аксиоматической теорией этой структуры. Аксиоматическую теорию структуры будем обозначать символом .

Пример

Теорема о внешнем угле треугольника: внешний угол треугольника больше любого не смежного с ним угла треугольника является элементом теории структуры абсолютной планиметрии (геометрии плоскости, построенной в системе 14 аксиом планиметрии без аксиом параллельности).





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



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