"Аксиоматизация математики: Рабочая учебная программа дисциплины" - читать интересную книгу автора (Ананьев Б.И.)