Second-Order Logic?

Overview:

Variant Titles: