It is not the case that The claim therefore conflates the well-behaved finitary fragment of many-sorted logic with richer formulations where incompleteness results analogous to those established by Lindström and later Barwise genuinely apply.
?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.