As every student now knows, second-order logical consequence is unaxiomatizable. (At least when we read the second-order quantifiers in the natural way, as running over all possible properties on the first-order domain).
Does anyone happen to know who, back in the glory days, was first really clear and explicit about this?