Множества и типы: как внутреннее представление влияет на математические задачи