Аксиоматический метод имеет много преимуществ по сравнению с честной работой.