Second-order Logic

This is an extension of first-order logic that allows quantification over sets of objects.