Форма'льный аксиомати'ческий ме'тод, см. Аксиоматический метод .