David Lewis empleó cuantificación plural en su "Parts of Classes" para obtener un sistema en el cual la teoría de conjuntos Zermelo-Fraenkel y los axiomas de Peano eran todos teoremas.