Incorrect comments on Logical Pinpointing

[Incorrect]

There’s no complete deductive system for second-order logic.