It is not the case that First-order logic is also the strongest logic where Löwenheim-Skolem holds and the set of valid sentences is recursively enumerable.
?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.