Логика и математика: задачи по аксиомам