Аксиоматизация - это то, что делает, это мусор. Это гигиена математики, аксиоматизация.