Tyrrell_McAllister comments on Completeness, incompleteness, and what it all means: first versus second order logic

[Tyrrell_McAllister]

Right. There exist deductive systems, plural. Are they equivalent, like the ones for first-order logic are?

Good question. I don’t know the answer. If they’re not equivalent, then I see your point.