It is not the case that Completeness results like Henkin's hold only for first-order logic, and extending the claim beyond that domain conflates a restricted theorem with a universal one.
?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.