Second-order logic extends first-order logic with quantifiers over formulas (first-order logic only quantifies over individuals).