![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Система всех утверждений, доказываемых логическим путем в структуре , называется аксиоматической теорией этой структуры. Аксиоматическую теорию структуры
будем обозначать символом
.
Пример
Теорема о внешнем угле треугольника: внешний угол треугольника больше любого не смежного с ним угла треугольника является элементом теории структуры абсолютной планиметрии (геометрии плоскости, построенной в системе 14 аксиом планиметрии без аксиом параллельности).
Дата публикования: 2014-11-04; Прочитано: 210 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!