Extremal Finite Set Theory