Методы и примеры аналитического доказательства множеств