Множества. Логика. Аксиоматические теории