Лекция 1. Аксиоматические теории

                             

План лекции

      1.1     Аксиоматическая теория

1.2     Схема построения неформальной аксиоматической теории

1.3     Интерпретация и модель аксиоматической теории

1.4. Свойства аксиоматических теорий