Описание тега lenses

Я не вижу здесь вопроса... Если вы только хотите импортировать некоторые образы, почему бы не использовать программы, как Picasa, которая позволяет выборочно импорт/просмотр изображений выбор? Это отличная вещь, чтобы сделать, но не то же самое как части математики закрыт от вас, советник, если вы оба работают в этом пространстве. Аксиома выбора-это еще один пример, который исследует доказательства в условиях ограниченного пространства. Я когда-то работал в системах с небольшим набором аксиом, при котором еще может быть правдой, но менее может быть доказано, чтобы быть правдой. Удовольствие.