9 Аксиоматические системы и их свойства 9 1