Аксиоматизация математики. Ананьев Б.И.