Аксиоматический метод, собственно говоря, есть не что иное, как искусство составлять тексты, формализация которых легко достижима.