It is not the case that If any class closed under isomorphism is definable in sort logic, then sort logic inherits the same structural abstraction that set-theoretic construction already provides, making the contrast with set theory superficial.
?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.