It is not the case that Strong completeness requires that every semantically valid inference over all many-sorted structures is provable, but Lindström's theorem shows any logic stronger than first-order that gains expressive power loses completeness or compactness.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.