Extremal Set Theory